+void Slider::start_drag(int p)
+{
+ dragging = true;
+ drag_start_pos = p;
+ drag_start_value = value;
+ set_state(ACTIVE);
+}
+
+void Slider::drag(int p)
+{
+ if(max>min)
+ set_value(drag_start_value+(p-drag_start_pos)*(max-min)/drag_area_size);
+}
+
+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);
+}
+