Changeset 4969 in josm for trunk


Ignore:
Timestamp:
2012-02-17T22:30:34+01:00 (8 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:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

    r4880 r4969  
    4343import org.openstreetmap.josm.data.Preferences.StringSetting;
    4444import org.openstreetmap.josm.gui.ExtendedDialog;
     45import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
    4546import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
    4647import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
     
    5051import org.openstreetmap.josm.tools.Utils;
    5152
    52 public class AdvancedPreference implements PreferenceSetting {
     53public class AdvancedPreference extends DefaultTabPreferenceSetting {
    5354
    5455    public static class Factory implements PreferenceSettingFactory {
     
    5657            return new AdvancedPreference();
    5758        }
     59    }
     60   
     61    private AdvancedPreference() {
     62        super("advanced", tr("Advanced Preferences"), tr("Setting Preference entries directly. Use with caution!"));
     63    }
     64
     65    @Override
     66    public boolean isExpert() {
     67        return true;
    5868    }
    5969
     
    118128
    119129    public void addGui(final PreferenceTabbedPane gui) {
    120         JPanel p = gui.createPreferenceTab("advanced", tr("Advanced Preferences"),
    121                 tr("Setting Preference entries directly. Use with caution!"), false, true);
     130        JPanel p = gui.createPreferenceTab(this);
    122131
    123132        txtFilter = new JTextField();
Note: See TracChangeset for help on using the changeset viewer.