+void Slider::end_drag()
+{
+ dragging = false;
+ clear_state(ACTIVE);
+}
+
+
+Slider::Loader::Loader(Slider &s):
+ Widget::Loader(s)
+{
+ add("range", &Slider::min, &Slider::max);
+ add("step", &Slider::step);
+ add("value", &Slider::value);
+}
+
+Slider &Slider::Loader::get_object() const
+{
+ return static_cast<Slider &>(obj);