Ignore:
Timestamp:
2017-09-13T23:24:50+02:00 (7 years ago)
Author:
bastiK
Message:

see #15229 - use Config.getPref() wherever possible

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java

    r12841 r12846  
    2929import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
    3030import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
     31import org.openstreetmap.josm.spi.preferences.Config;
    3132import org.openstreetmap.josm.tools.GBC;
    3233import org.openstreetmap.josm.tools.Logging;
     
    6566    public void addGui(PreferenceTabbedPane gui) {
    6667        enableIconDefault = new JCheckBox(tr("Enable built-in icon defaults"),
    67                 Main.pref.getBoolean("mappaint.icon.enable-defaults", true));
     68                Config.getPref().getBoolean("mappaint.icon.enable-defaults", true));
    6869
    6970        sources = new MapPaintSourceEditor();
     
    105106        @Override
    106107        public Collection<String> getInitialIconPathsList() {
    107             return Main.pref.getList(ICONPREF, null);
     108            return Config.getPref().getList(ICONPREF, null);
    108109        }
    109110
     
    170171    @Override
    171172    public boolean ok() {
    172         boolean reload = Main.pref.putBoolean("mappaint.icon.enable-defaults", enableIconDefault.isSelected());
     173        boolean reload = Config.getPref().putBoolean("mappaint.icon.enable-defaults", enableIconDefault.isSelected());
    173174        reload |= sources.finish();
    174175        if (reload) {
Note: See TracChangeset for help on using the changeset viewer.