Changeset 13002 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-10-15T19:27:02+02:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data/preferences
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java
r12999 r13002 4 4 import java.util.ArrayList; 5 5 import java.util.Collection; 6 7 import org.openstreetmap.josm.Main;8 6 9 7 /** … … 21 19 public CollectionProperty(String key, Collection<String> defaultValue) { 22 20 super(key, defaultValue); 23 if ( Main.pref!= null) {21 if (getPreferences() != null) { 24 22 get(); 25 23 } -
trunk/src/org/openstreetmap/josm/data/preferences/EnumProperty.java
r9743 r13002 2 2 package org.openstreetmap.josm.data.preferences; 3 3 4 import org.openstreetmap.josm. Main;4 import org.openstreetmap.josm.spi.preferences.Config; 5 5 6 6 /** … … 23 23 super(enumClass, defaultValue); 24 24 this.key = key; 25 if ( Main.pref!= null) {25 if (Config.getPref() != null) { 26 26 get(); 27 27 } -
trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
r10824 r13002 1 1 // License: GPL. For details, see LICENSE file. 2 2 package org.openstreetmap.josm.data.preferences; 3 4 import org.openstreetmap.josm.Main;5 3 6 4 /** … … 17 15 public IntegerProperty(String key, int defaultValue) { 18 16 super(key, defaultValue); 19 if ( Main.pref!= null) {17 if (getPreferences() != null) { 20 18 get(); 21 19 } -
trunk/src/org/openstreetmap/josm/data/preferences/ListProperty.java
r12840 r13002 3 3 4 4 import java.util.List; 5 6 import org.openstreetmap.josm.Main;7 5 8 6 /** … … 18 16 public ListProperty(String key, List<String> defaultValue) { 19 17 super(key, defaultValue); 20 if ( Main.pref!= null) {18 if (getPreferences() != null) { 21 19 get(); 22 20 }
Note:
See TracChangeset
for help on using the changeset viewer.