Handles CheckboxMenuItem state changes.
(ItemEvent e)
| 478 | |
| 479 | /** Handles CheckboxMenuItem state changes. */ |
| 480 | public void itemStateChanged(ItemEvent e) { |
| 481 | MenuItem item = (MenuItem)e.getSource(); |
| 482 | MenuComponent parent = (MenuComponent)item.getParent(); |
| 483 | String cmd = e.getItem().toString(); |
| 484 | if ("Autorun Examples".equals(cmd)) // Examples>Autorun Examples |
| 485 | Prefs.autoRunExamples = e.getStateChange()==1; |
| 486 | else if ((Menu)parent==Menus.window) |
| 487 | WindowManager.activateWindow(cmd, item); |
| 488 | else |
| 489 | doCommand(cmd); |
| 490 | } |
| 491 | |
| 492 | public void mousePressed(MouseEvent e) { |
| 493 | Undo.reset(); |
nothing calls this directly
no test coverage detected