Changeset 9689 in josm for trunk/src/org
- Timestamp:
- 2016-01-30T18:47:54+01:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data/preferences
- Files:
-
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/BooleanProperty.java
r5464 r9689 16 16 public BooleanProperty(String key, boolean defaultValue) { 17 17 super(key, defaultValue); 18 if (Main.pref != null) { 19 get(); 20 } 18 21 } 19 22 -
trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java
r5464 r9689 18 18 public CollectionProperty(String key, Collection<String> defaultValue) { 19 19 super(key, defaultValue); 20 if (Main.pref != null) { 21 get(); 22 } 20 23 } 21 24 -
trunk/src/org/openstreetmap/josm/data/preferences/ColorProperty.java
r8510 r9689 24 24 super(getColorKey(colName), defaultValue); 25 25 this.name = colName; 26 if (Main.pref != null) { 27 get(); 28 } 26 29 } 27 30 -
trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
r8390 r9689 17 17 public IntegerProperty(String key, int defaultValue) { 18 18 super(key, defaultValue); 19 if (Main.pref != null) { 20 get(); 21 } 19 22 } 20 23 -
trunk/src/org/openstreetmap/josm/data/preferences/ParametrizedEnumProperty.java
r9079 r9689 12 12 this.defaultValue = defaultValue; 13 13 this.enumClass = enumClass; 14 if (Main.pref != null) { 15 get(); 16 } 14 17 } 15 18 -
trunk/src/org/openstreetmap/josm/data/preferences/StringProperty.java
r5464 r9689 16 16 public StringProperty(String key, String defaultValue) { 17 17 super(key, defaultValue); 18 if (Main.pref != null) { 19 get(); 20 } 18 21 } 19 22
Note:
See TracChangeset
for help on using the changeset viewer.