Changeset 12846 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
- Timestamp:
- 2017-09-13T23:24:50+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
r12841 r12846 29 29 import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting; 30 30 import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting; 31 import org.openstreetmap.josm.spi.preferences.Config; 31 32 import org.openstreetmap.josm.tools.GBC; 32 33 import org.openstreetmap.josm.tools.Logging; … … 65 66 public void addGui(PreferenceTabbedPane gui) { 66 67 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)); 68 69 69 70 sources = new MapPaintSourceEditor(); … … 105 106 @Override 106 107 public Collection<String> getInitialIconPathsList() { 107 return Main.pref.getList(ICONPREF, null);108 return Config.getPref().getList(ICONPREF, null); 108 109 } 109 110 … … 170 171 @Override 171 172 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()); 173 174 reload |= sources.finish(); 174 175 if (reload) {
Note:
See TracChangeset
for help on using the changeset viewer.