Changeset 4969 in josm for trunk/src/org/openstreetmap

Timestamp:

2012-02-17T22:30:34+01:00 (13 years ago)

Author:

Don-vip

Message:

fix #7386 for good - Don't know why these files have been skipped from previous commit.

Location:

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

Files:

• advanced/AdvancedPreference.java (modified) (4 diffs)
• display/DisplayPreference.java (added)
• map/MapPreference.java (added)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -43 +43 @@
 import org.openstreetmap.josm.data.Preferences.StringSetting;
 import org.openstreetmap.josm.gui.ExtendedDialog;
+import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
@@ -50 +51 @@
 import org.openstreetmap.josm.tools.Utils;
 
-public class AdvancedPreference implements PreferenceSetting {
+public class AdvancedPreference extends DefaultTabPreferenceSetting {
 
     public static class Factory implements PreferenceSettingFactory {
@@ -56 +57 @@
             return new AdvancedPreference();
         }
+    }
+    
+    private AdvancedPreference() {
+        super("advanced", tr("Advanced Preferences"), tr("Setting Preference entries directly. Use with caution!"));
+    }
+
+    @Override
+    public boolean isExpert() {
+        return true;
     }
 
@@ -118 +128 @@
 
     public void addGui(final PreferenceTabbedPane gui) {
-        JPanel p = gui.createPreferenceTab("advanced", tr("Advanced Preferences"),
-                tr("Setting Preference entries directly. Use with caution!"), false, true);
+        JPanel p = gui.createPreferenceTab(this);
 
         txtFilter = new JTextField();