Ignore:
Timestamp:
2020-10-13T21:15:06+02:00 (4 years ago)
Author:
Klumbumbus
Message:

see #19851 - Fix shortcut names

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/OpeningHoursEditor/src/org/openstreetmap/josm/plugins/ohe/OhePlugin.java

    r35414 r35579  
    9494            super(tr("Edit opening hours"), "opening_hours.png",
    9595                    tr("Edit time-tag of selected element in a graphical interface"), Shortcut.registerShortcut(
    96                             "tools:opening_hourseditor", tr("Tool: {0}", tr("Edit opening hours")), KeyEvent.VK_O,
     96                            "tools:opening_hourseditor", tr("Data: {0}", tr("Edit opening hours")), KeyEvent.VK_O,
    9797                            Shortcut.ALT_CTRL_SHIFT), true);
    9898        }
Note: See TracChangeset for help on using the changeset viewer.