Changeset 1023 in josm for trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java

Timestamp:

2008-10-05T17:06:27+02:00 (18 years ago)

Author:

stoecker

Message:

close bug #1622. Keyboard shortcuts and specific OS handling

File:

• trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java

@@ -15 +15 @@
 import org.openstreetmap.josm.gui.preferences.PreferenceDialog;
 import org.openstreetmap.josm.tools.GBC;
+import org.openstreetmap.josm.tools.ShortCut;
 
 /**
@@ -27 +28 @@
          */
         public PreferencesAction() {
-                super(tr("Preferences ..."), "preference", tr("Open a preferences page for global settings."), KeyEvent.VK_F12, 0, true);
+                super(tr("Preferences ..."), "preference", tr("Open a preferences page for global settings."),
+                ShortCut.registerShortCut("system:preferences", tr("Preferences"), KeyEvent.VK_F12, ShortCut.GROUP_DIRECT), true);
         }