Changeset 2323 in josm for trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java
- Timestamp:
- 2009-10-26T15:23:39+01:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java
r1742 r2323 3 3 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 import static org.openstreetmap.josm.gui.help.HelpUtil.ht; 5 6 6 7 import java.awt.Dimension; … … 31 32 super(tr("Preferences..."), "preference", tr("Open a preferences page for global settings."), 32 33 Shortcut.registerShortcut("system:preferences", tr("Preferences"), KeyEvent.VK_F12, Shortcut.GROUP_DIRECT), true); 34 putValue("help", ht("/Action/Preferences")); 33 35 } 34 36
Note:
See TracChangeset
for help on using the changeset viewer.