Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java

Timestamp:

2017-09-13T16:30:27+02:00 (9 years ago)

Author:

bastiK

Message:

see #15229 - fix deprecations caused by [12840]

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java

@@ -105 +105 @@
         @Override
         public Collection<String> getInitialIconPathsList() {
-            return Main.pref.getCollection(ICONPREF, null);
+            return Main.pref.getList(ICONPREF, null);
         }
 
@@ -170 +170 @@
     @Override
     public boolean ok() {
-        boolean reload = Main.pref.put("mappaint.icon.enable-defaults", enableIconDefault.isSelected());
+        boolean reload = Main.pref.putBoolean("mappaint.icon.enable-defaults", enableIconDefault.isSelected());
         reload |= sources.finish();
         if (reload) {