Changeset 17925 in josm for trunk

Timestamp:

2021-06-20T20:27:12+02:00 (3 years ago)

Author:

Klumbumbus

Message:

fix #21000, see #18768 - Fix Windows menu help topic (patch by skyper)

File:

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

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

@@ -410 +410 @@
      * 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/Menu/Windows"));
+    public final WindowMenu windowMenu = addMenu(new WindowMenu(), /* untranslated name */ "Windows", KeyEvent.VK_W, 11, ht("/Menu/Windows"));
     // CHECKSTYLE.ON: LineLength