Changeset 17314 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/validator/ValidatorPreference.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/validator/ValidatorPreference.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/validator/ValidatorPreference.java

@@ -4 +4 @@
 import static org.openstreetmap.josm.tools.I18n.tr;
 
-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 @@
  * @author frsantos
  */
-public final class ValidatorPreference extends DefaultTabPreferenceSetting {
+public final class ValidatorPreference extends ExtensibleTabPreferenceSetting {
 
     /**
@@ -32 +28 @@
     private ValidatorPreference() {
         super(/* ICON(preferences/) */ "validator", tr("Data validator"),
-                tr("An OSM data validator that checks for common errors made by users and editor programs."),
-                false, new JTabbedPane());
-    }
-
-    @Override
-    public void addGui(PreferenceTabbedPane gui) {
-        gui.createPreferenceTab(this).add(getTabPane(), GBC.eol().fill(GBC.BOTH));
+                tr("An OSM data validator that checks for common errors made by users and editor programs."), false);
     }