Ignore:
Timestamp:
2020-10-15T19:00:54+02:00 (4 years ago)
Author:
Klumbumbus
Message:

see #19851 - Fix shortcut names

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/CommandLine/src/org/openstreetmap/josm/plugins/commandline/CommandLineAction.java

    r34574 r35583  
    1515    public CommandLineAction(CommandLine parentPlugin) {
    1616        super(tr("Command line"), "commandline", tr("Set input focus to the command line."),
    17                 Shortcut.registerShortcut("tool:commandline", tr("Tool: {0}", tr("Command line")), KeyEvent.VK_ENTER, Shortcut.DIRECT), true, "commandline", true);
     17                Shortcut.registerShortcut("tool:commandline", tr("Commands: {0}", tr("Command line")), KeyEvent.VK_ENTER, Shortcut.DIRECT), true, "commandline", true);
    1818        this.parentPlugin = parentPlugin;
    1919    }
Note: See TracChangeset for help on using the changeset viewer.