Changeset 17021 in josm for trunk/src/org/openstreetmap/josm/gui/MainMenu.java
- Timestamp:
- 2020-09-12T20:48:56+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainMenu.java
r16967 r17021 133 133 import org.openstreetmap.josm.gui.tagging.presets.TaggingPresetSearchPrimitiveDialog; 134 134 import org.openstreetmap.josm.spi.preferences.Config; 135 import org.openstreetmap.josm.tools.ImageProvider; 135 136 import org.openstreetmap.josm.tools.PlatformManager; 136 137 import org.openstreetmap.josm.tools.Shortcut; … … 828 829 viewMenu.addSeparator(); 829 830 viewMenu.add(new PreferenceToggleAction(tr("Main toolbar"), 831 new ImageProvider("dialogs/main_toolbar.svg"), 830 832 tr("Toggles the visibility of the main toolbar (i.e., the horizontal toolbar)"), 831 833 MapFrame.TOOLBAR_VISIBLE).getCheckbox()); 832 834 viewMenu.add(new PreferenceToggleAction(tr("Edit toolbar"), 835 new ImageProvider("dialogs/edit_toolbar.svg"), 833 836 tr("Toggles the visibility of the edit toolbar (i.e., the vertical tool)"), 834 837 MapFrame.SIDE_TOOLBAR_VISIBLE).getCheckbox());
Note:
See TracChangeset
for help on using the changeset viewer.