Changeset 17188 in josm for trunk/src/org/openstreetmap/josm/gui/MainInitialization.java

Timestamp:

2020-10-13T20:21:52+02:00 (4 years ago)

Author:

Klumbumbus

Message:

fix #19851 - Fix shortcut names

File:

• trunk/src/org/openstreetmap/josm/gui/MainInitialization.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MainInitialization.java

@@ -80 +80 @@
                 // help shortcut
                 MainApplication.registerActionShortcut(MainApplication.menu.help,
-                        Shortcut.registerShortcut("system:help", tr("Help"), KeyEvent.VK_F1, Shortcut.DIRECT));
+                        Shortcut.registerShortcut("system:help", tr("Help: {0}", tr("Help")), KeyEvent.VK_F1, Shortcut.DIRECT));
             }),
             new InitializationTask(tr("Initializing internal boundaries data"), () -> {