Changeset 4932 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2012-02-14T21:27:53+01:00 (13 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r4920 r4932 334 334 } 335 335 336 /* @Deprecated 336 337 synchronized public boolean hasKey(final String key) { 337 338 return properties.containsKey(key); 338 } 339 }*/ 339 340 340 341 /** … … 638 639 } 639 640 } 641 removeObsolete(); 640 642 } 641 643 … … 1727 1729 return b.toString(); 1728 1730 } 1731 1732 /** 1733 * Removes obsolete preference settings. If you throw out a once-used preference 1734 * setting, add it to the list here with an expiry date (written as comment). If you 1735 * see something with an expiry date in the past, remove it from the list. 1736 */ 1737 public void removeObsolete() { 1738 String[] obsolete = { 1739 "edit.make-parallel-way-action.snap-threshold", // 10/2011 - replaced by snap-threshold-percent. Can be removed mid 2012 1740 }; 1741 for (String key : obsolete) { 1742 boolean removed = false; 1743 if(properties.containsKey(key)) { properties.remove(key); removed = true; } 1744 if(collectionProperties.containsKey(key)) { collectionProperties.remove(key); removed = true; } 1745 if(arrayProperties.containsKey(key)) { arrayProperties.remove(key); removed = true; } 1746 if(listOfStructsProperties.containsKey(key)) { listOfStructsProperties.remove(key); removed = true; } 1747 if(removed) 1748 System.out.println(tr("Preference setting {0} has been removed since it is no longer used.", key)); 1749 } 1750 } 1729 1751 } -
trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/MapRendererFactory.java
r4310 r4932 115 115 private MapRendererFactory() { 116 116 registerDefaultRenderers(); 117 boolean drawWireframe = false;118 if (Main.pref.hasKey("draw.wireframe")) {119 drawWireframe = Main.pref.getBoolean("draw.wireframe",false);120 /*121 * transition 05/2011 - 'draw.wireframe' isn't supported anymore. Remove122 * it from the preferences.123 * Can be removed after ~ 01/2012124 */125 Main.pref.put("draw.wireframe", null);126 }127 if (drawWireframe){128 activate(WireframeMapRenderer.class);129 return;130 }131 132 117 String rendererClassName = Main.pref.get(PREF_KEY_RENDERER_CLASS_NAME, null); 133 118 if (rendererClassName != null) { -
trunk/src/org/openstreetmap/josm/data/preferences/AbstractProperty.java
r4282 r4932 19 19 20 20 public boolean isSet() { 21 return Main.pref. hasKey(key);21 return !Main.pref.get(key).isEmpty(); 22 22 } 23 23 -
trunk/src/org/openstreetmap/josm/data/preferences/CachedProperty.java
r4282 r4932 20 20 21 21 protected void updateValue() { 22 if (Main.pref. hasKey(key)) {22 if (!Main.pref.get(key).isEmpty()) { 23 23 this.value = fromString(Main.pref.get(key)); 24 24 } else {
Note:
See TracChangeset
for help on using the changeset viewer.