Changeset 16103 in josm for trunk/src

Timestamp:

2020-03-09T18:26:55+01:00 (4 years ago)

Author:

Klumbumbus

Message:

fix #18768 - Fix Windows menu help topic (patch by Hb---)

File:

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

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

@@ -402 +402 @@
      * to use WINDOW_MENU_GROUP to determine the group integer.
      */
-    public final WindowMenu windowMenu = addMenu(new WindowMenu(), /* untranslated name */ "Windows", KeyEvent.VK_W, 11, ht("/Help/Windows"));
+    public final WindowMenu windowMenu = addMenu(new WindowMenu(), /* untranslated name */ "Windows", KeyEvent.VK_W, 11, ht("/Help/Menu/Windows"));
 
     /**