Changeset 17227 in josm for trunk

Timestamp:

2020-10-18T12:03:21+02:00 (4 years ago)

Author:

simon04

Message:

see #7548 - Re-organize the preference dialog (remove "settings" from tab names)

Location:

trunk/src/org/openstreetmap/josm/gui/preferences

Files:

• ToolbarPreferences.java (modified) (1 diff)
• audio/AudioPreference.java (modified) (1 diff)
• display/DisplayPreference.java (modified) (1 diff)
• imagery/ImageryPreference.java (modified) (1 diff)
• map/MapPreference.java (modified) (1 diff)
• server/ProxyPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/ToolbarPreferences.java

@@ -787 +787 @@
          */
         public Settings(DefaultMutableTreeNode rootActionsNode) {
-            super(/* ICON(preferences/) */ "toolbar", tr("Toolbar customization"), tr("Customize the elements on the toolbar."));
+            super(/* ICON(preferences/) */ "toolbar", tr("Toolbar"), tr("Customize the elements on the toolbar."));
             actionsTreeModel = new DefaultTreeModel(rootActionsNode);
             actionsTree = new JTree(actionsTreeModel);

trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java

@@ -37 +37 @@
 
     private AudioPreference() {
-        super(/* ICON(preferences/) */ "audio", tr("Audio Settings"), tr("Settings for the audio player and audio markers."));
+        super(/* ICON(preferences/) */ "audio", tr("Audio"), tr("Settings for the audio player and audio markers."));
     }
 

trunk/src/org/openstreetmap/josm/gui/preferences/display/DisplayPreference.java

@@ -30 +30 @@
 
     private DisplayPreference() {
-        super(/* ICON(preferences/) */ "display", tr("Display Settings"),
+        super(/* ICON(preferences/) */ "display", tr("Display"),
                 tr("Various settings that influence the visual representation of the whole program."), false, new JTabbedPane());
     }

trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryPreference.java

@@ -71 +71 @@
 
     private ImageryPreference() {
-        super(/* ICON(preferences/) */ "imagery", tr("Imagery preferences"),
+        super(/* ICON(preferences/) */ "imagery", tr("Imagery"),
                 tr("Modify list of imagery layers displayed in the Imagery menu"),
                 false, new JTabbedPane());

trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPreference.java

@@ -29 +29 @@
 
     private MapPreference() {
-        super(/* ICON(preferences/) */ "map", tr("Map Settings"),
+        super(/* ICON(preferences/) */ "map", tr("Map"),
                 tr("Settings for the map projection and data interpretation."), false, new JTabbedPane());
     }

trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreference.java

@@ -36 +36 @@
 
     private ProxyPreference() {
-        super(null, tr("Proxy settings"), tr("Configure whether to use a proxy server"));
+        super(null, tr("Proxy"), tr("Configure whether to use a proxy server"));
     }