Changeset 13543 in josm for trunk/src/org/openstreetmap/josm/data/preferences
- Timestamp:
- 2018-03-19T00:22:20+01:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/data/preferences
- Files:
-
- 1 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/NamedColorProperty.java
r12987 r13543 5 5 import java.util.Arrays; 6 6 import java.util.List; 7 import java.util.Optional; 7 8 8 import org.openstreetmap.josm.tools.CheckParameterUtil; 9 9 import org.openstreetmap.josm.tools.ColorHelper; … … 72 72 return ColorHelper.html2color(data.get(0)); 73 73 } 74 return Optional.ofNullable(migrate()).orElse(defaultValue); 75 } 76 77 /** 78 * migrate to new color preferences scheme - remove 4 months after {@link ColorProperty} is removed. 79 * @return the old preferences value 80 */ 81 private Color migrate() { 82 String s = getPreferences().get(getOldColorKey(), null); 83 if (s != null) { 84 Color c = ColorHelper.html2color(s); 85 if (c != null) { 86 put(c); 87 return c; 88 } 89 } 90 return null; 74 return defaultValue; 91 75 } 92 76 … … 95 79 get(); // trigger migration 96 80 return super.isSet(); 97 }98 99 @SuppressWarnings("deprecation")100 private String getOldColorKey() {101 switch (category) {102 case COLOR_CATEGORY_MAPPAINT:103 return ColorProperty.getColorKey("mappaint." + (source == null ? "MapCSS" : source) + "." + name);104 case COLOR_CATEGORY_LAYER:105 {106 String k = "layer " + (source == null ? "" : source);107 return ColorProperty.getColorKey(k);108 }109 default:110 {111 String k = name;112 if (source != null) {113 k = source + "." + k;114 }115 return ColorProperty.getColorKey(k);116 }117 }118 81 } 119 82
Note:
See TracChangeset
for help on using the changeset viewer.