Ticket #18768: 18768.patch

File 18768.patch, 711 bytes (added by Hb---, 6 years ago)

Same patch, new file extension

  • .java

    old new  
    402402     * group is for currently open windows that cannot be toggled, e.g. relation editors. It's recommended
    403403     * to use WINDOW_MENU_GROUP to determine the group integer.
    404404     */
    405     public final WindowMenu windowMenu = addMenu(new WindowMenu(), /* untranslated name */ "Windows", KeyEvent.VK_W, 11, ht("/ToggleDialogs"));
     405    public final WindowMenu windowMenu = addMenu(new WindowMenu(), /* untranslated name */ "Windows", KeyEvent.VK_W, 11, ht("/Help/Windows"));
    406406
    407407    /**
    408408     * audioMenu contains all audio-related actions. Be careful, this menu is not guaranteed to be displayed at all