()
| 709 | |
| 710 | /// Invoked to change the state of the button to the pressed state |
| 711 | public void pressed() { |
| 712 | if (!Display.impl.isScrollWheeling()) { |
| 713 | if (state != STATE_PRESSED) { |
| 714 | state = STATE_PRESSED; |
| 715 | fireStateChange(); |
| 716 | } |
| 717 | repaint(); |
| 718 | } |
| 719 | } |
| 720 | |
| 721 | /// Invoked to change the state of the button to the released state |
| 722 | public void released() { |