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

Timestamp:

2020-11-16T16:45:58+01:00 (3 years ago)

Author:

Don-vip

Message:

see #7548 - make clear which preferences settings allow new tabs from plugins. Make color preferences extensible. Hide tab area if a single tab is defined.

File:

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

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

@@ -5 +5 @@
 import static org.openstreetmap.josm.tools.I18n.trc;
 
-import javax.swing.JTabbedPane;
-
 import org.openstreetmap.josm.gui.help.HelpUtil;
-import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
+import org.openstreetmap.josm.gui.preferences.ExtensibleTabPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
-import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
-import org.openstreetmap.josm.tools.GBC;
 
 /**
@@ -18 +14 @@
  * @since 4969
  */
-public final class DisplayPreference extends DefaultTabPreferenceSetting {
+public final class DisplayPreference extends ExtensibleTabPreferenceSetting {
 
     /**
@@ -32 +28 @@
     private DisplayPreference() {
         super(/* ICON(preferences/) */ "display", trc("gui", "Display"),
-                tr("Various settings that influence the visual representation of the whole program."), false, new JTabbedPane());
+                tr("Various settings that influence the visual representation of the whole program."), false);
     }
 
@@ -38 +34 @@
     public boolean ok() {
         return false;
-    }
-
-    @Override
-    public void addGui(PreferenceTabbedPane gui) {
-        gui.createPreferenceTab(this).add(getTabPane(), GBC.eol().fill(GBC.BOTH));
     }