Changeset 9689 in josm for trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
- Timestamp:
- 2016-01-30T18:47:54+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
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
Note:
See TracChangeset
for help on using the changeset viewer.
