Changeset 14532 in josm
- Timestamp:
- 2018-12-09T15:46:38+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/imagery/TileSourceDisplaySettings.java
r14120 r14532 39 39 40 40 /** 41 * A string returned by {@link DisplaySettingsChangeEvent#getChangedSetting()} if the s ow errors property was changed.41 * A string returned by {@link DisplaySettingsChangeEvent#getChangedSetting()} if the show errors property was changed. 42 42 * @see TileSourceDisplaySettings#isShowErrors() 43 43 */ … … 91 91 92 92 private TileSourceDisplaySettings(String... prefixes) { 93 autoZoom = getProperty(prefixes, "default_autozoom" );94 autoLoad = getProperty(prefixes, "default_autoload" );95 showErrors = getProperty(prefixes, "default_showerrors" );96 } 97 98 private static boolean getProperty(String[] prefixes, String name ) {93 autoZoom = getProperty(prefixes, "default_autozoom", PROP_AUTO_ZOOM.getDefaultValue()); 94 autoLoad = getProperty(prefixes, "default_autoload", PROP_AUTO_LOAD.getDefaultValue()); 95 showErrors = getProperty(prefixes, "default_showerrors", Boolean.TRUE); 96 } 97 98 private static boolean getProperty(String[] prefixes, String name, Boolean def) { 99 99 // iterate through all values to force the preferences to receive the default value. 100 100 // we only support a default value of true. … … 103 103 String key = p + "." + name; 104 104 boolean currentValue = Config.getPref().getBoolean(key, true); 105 if (!Config.getPref().get(key ).isEmpty()) {105 if (!Config.getPref().get(key, def.toString()).isEmpty()) { 106 106 value = currentValue; 107 107 }
Note:
See TracChangeset
for help on using the changeset viewer.