| changeset 5955 | 94a5ce4a297b |
| parent 5506 | 202f599c92aa |
| child 7668 | d4a77089c587 |
| 5954:fc070edf8e98 | 5955:94a5ce4a297b |
|---|---|
193 } |
193 } |
194 } |
194 } |
195 } |
195 } |
196 |
196 |
197 ButtonModel model = b.getModel(); |
197 ButtonModel model = b.getModel(); |
198 model.setPressed(false); |
|
198 model.setArmed(false); |
199 model.setArmed(false); |
199 model.setPressed(false); |
|
200 |
|
201 b.repaint(); |
200 b.repaint(); |
202 } |
201 } |
203 |
202 |
204 public void mouseMoved(MouseEvent e) { |
203 public void mouseMoved(MouseEvent e) { |
205 } |
204 } |