(MenuEvent e)
| 1011 | menu.addMenuListener(new MenuListener() { |
| 1012 | // UndoAction and RedoAction do this for themselves. |
| 1013 | @Override |
| 1014 | public void menuCanceled(MenuEvent e) { |
| 1015 | for (UpdatableAction a : editMenuUpdatable) { |
| 1016 | a.setEnabled(true); |
| 1017 | } |
| 1018 | } |
| 1019 | |
| 1020 | @Override |
| 1021 | public void menuDeselected(MenuEvent e) { |
nothing calls this directly
no test coverage detected