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