62
(wxWindow* parent, wxWindowID id, slider_ctrl::tick value=0,
62
(wxWindow* parent, wxWindowID id, slider_ctrl::tick value=0,
63
63
slider_ctrl::tick min_value=0, slider_ctrl::tick max_value=100);
65
65
void add_tick(double pos);
66
66
void remove_tick(double pos);
69
69
double get_value() const;
70
70
void set_value( double value );
71
71
void set_max_value( double max );