Changeset 5462 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2012-08-20T20:35:44+02:00 (12 years ago)

Author:

Don-vip

Message:

fix #6723 - Cannot change Imagery fade color from Imagery settings

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -1777 +1777 @@
         String[] obsolete = {
                 "gui.combobox.maximum-row-count",  // 08/2012 - briefly introduced with #7917, can be removed end 2012
+                "color.Imagery fade",              // 08/2012 - wrong property caused by #6723, can be removed mid-2013
         };
         for (String key : obsolete) {