Changeset 5968 in josm for trunk/src/org
- Timestamp:
- 2013-05-26T14:00:02+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java
r5965 r5968 434 434 }); 435 435 436 JCheckBoxMenuItem doNotHide = new JCheckBoxMenuItem(new AbstractAction(tr(" getSt hide toolbar and menu")) {436 JCheckBoxMenuItem doNotHide = new JCheckBoxMenuItem(new AbstractAction(tr("Hide toolbar and menu")) { 437 437 @Override 438 438 public void actionPerformed(ActionEvent e) { … … 449 449 ((JPopupMenu)e.getSource()).getInvoker() 450 450 )); 451 }451 } 452 452 @Override 453 453 public void popupMenuWillBecomeInvisible(PopupMenuEvent e) {}
Note:
See TracChangeset
for help on using the changeset viewer.