double min, max;
double value;
double step;
+ double page_size;
bool dragging;
double drag_start_pos;
double drag_start_value;
unsigned drag_area_size;
unsigned drag_area_offset;
+ unsigned slider_min_size;
unsigned slider_size;
unsigned total_margin;
void set_value(double);
void set_range(double, double);
void set_step(double);
+ void set_page_size(double);
double get_value() const { return value; }
protected: