Changeset 17227 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/display/DisplayPreference.java

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)

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/display/DisplayPreference.java (modified) (1 diff)

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());
     }