542 |
|
|
543 |
class MouseSpeedButton: public TextButton { |
class MouseSpeedButton: public TextButton { |
544 |
void update() { |
void update() { |
545 |
char msg[50]; |
char msg[50]; |
546 |
sprintf(msg, "Mouse speed: %d", int(options::MouseSpeed)); |
sprintf(msg, "Mouse speed: %d", int(options::MouseSpeed+.5)); |
547 |
set_text(msg); |
set_text(msg); |
548 |
} |
} |
549 |
// ActionListener interface. |
// ActionListener interface. |
550 |
void on_action(Widget *) { |
void on_action(Widget *) { |
551 |
double &ms = options::MouseSpeed; |
int ms = int(options::MouseSpeed+.5); |
552 |
ms = int(ms) + 1; |
if (++ms > options::maxMouseSpeed) { |
553 |
if (ms > 15) |
ms = options::minMouseSpeed; |
554 |
ms = 1; |
} |
555 |
|
options::MouseSpeed = int(ms+.5); |
556 |
update(); |
update(); |
557 |
} |
} |
558 |
public: |
public: |