Changeset 3438 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2010-08-15T00:34:57+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r3380 r3438 678 678 String s = get(key); 679 679 if (s != null && s.length() != 0) 680 return s.indexOf("\u001e") >= 0 || s.indexOf("§§§") >= 0;680 return s.indexOf("\u001e") >= 0; 681 681 else 682 682 return def; … … 700 700 if(s != null && s.length() != 0) 701 701 { 702 if(s.indexOf("\u001e") < 0) /* FIXME: legacy code, remove later */703 {704 String r =s;705 if(r.indexOf("§§§") > 0) {706 r = r.replaceAll("§§§","\u001e");707 } else {708 r = r.replace(';','\u001e');709 }710 if(!r.equals(s)) /* save the converted string */711 {712 put(key,r);713 s = r;714 }715 }716 702 return Arrays.asList(s.split("\u001e")); 717 703 }
Note:
See TracChangeset
for help on using the changeset viewer.