Changeset 3840 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2011-02-01T17:12:54+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r3815 r3840 656 656 put(key, s); 657 657 } 658 return Arrays.asList(s.split("\u001e" ));658 return Arrays.asList(s.split("\u001e", -1)); 659 659 } 660 660 return Collections.emptyList(); … … 670 670 return put(key, join("\u001e", val)); 671 671 } 672 672 673 673 synchronized private void putCollectionDefault(String key, Collection<String> val) { 674 674 putDefault(key, join("\u001e", val)); 675 675 } 676 676 677 677 /** 678 678 * Used to read a 2-dimensional array of strings from the preference file.
Note:
See TracChangeset
for help on using the changeset viewer.