Changeset 7203 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2014-06-01T12:38:10+02:00 (10 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java
r7186 r7203 11 11 import java.util.List; 12 12 import java.util.Objects; 13 import java.util.TreeSet; 13 14 import java.util.regex.Matcher; 14 15 import java.util.regex.Pattern; … … 485 486 int i = countryCode.compareTo(in.countryCode); 486 487 if (i == 0) { 487 i = name. compareTo(in.name);488 i = name.toLowerCase().compareTo(in.name.toLowerCase()); 488 489 } 489 490 if (i == 0) { … … 695 696 this.id = id; 696 697 } 698 699 public void clearId() { 700 if (this.id != null) { 701 Collection<String> newAddedIds = new TreeSet<>(Main.pref.getCollection("imagery.layers.addedIds")); 702 newAddedIds.add(this.id); 703 Main.pref.putCollection("imagery.layers.addedIds", newAddedIds); 704 } 705 this.id = null; 706 } 697 707 698 708 /** -
trunk/src/org/openstreetmap/josm/data/imagery/ImageryLayerInfo.java
r7186 r7203 178 178 } 179 179 } 180 Main.pref.putCollection("imagery.layers. migration.addedIds", newAddedIds);180 Main.pref.putCollection("imagery.layers.addedIds", newAddedIds); 181 181 182 182 // automatically update user entries with same id as a default entry -
trunk/src/org/openstreetmap/josm/gui/preferences/imagery/ImageryPreference.java
r7186 r7203 651 651 case 0: 652 652 info.setName((String) o); 653 info.clearId(); 653 654 break; 654 655 case 1: 655 656 info.setExtendedUrl((String)o); 657 info.clearId(); 656 658 break; 657 659 default:
Note:
See TracChangeset
for help on using the changeset viewer.