- Timestamp:
- 2015-10-19T13:14:06+02:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/PurgeAction.java
r8870 r8905 181 181 */ 182 182 List<Relation> relLst = new ArrayList<>(relSet); 183 for ( int i = 0; i < relLst.size(); ++i) {184 for (OsmPrimitive parent : r elLst.get(i).getReferrers()) {183 for (Relation r : relLst) { 184 for (OsmPrimitive parent : r.getReferrers()) { 185 185 if (!(toPurgeChecked.contains(parent)) 186 186 && hasOnlyIncompleteMembers((Relation) parent, toPurgeChecked, relLst)) { -
trunk/src/org/openstreetmap/josm/gui/layer/geoimage/ThumbsLoader.java
r8840 r8905 51 51 Main.debug("Load Thumbnails"); 52 52 tracker = new MediaTracker(Main.map.mapView); 53 for ( int i = 0; i < data.size(); i++) {53 for (ImageEntry entry : data) { 54 54 if (stop) return; 55 55 56 56 // Do not load thumbnails that were loaded before. 57 if ( data.get(i).thumbnail == null) {58 data.get(i).thumbnail = loadThumb(data.get(i));57 if (entry.thumbnail == null) { 58 entry.thumbnail = loadThumb(entry); 59 59 60 60 if (Main.isDisplayingMapView()) { -
trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
r8644 r8905 360 360 Object key = keys.nextElement(); 361 361 Object value = UIManager.get(key); 362 if (value != null && valueinstanceof FontUIResource) {362 if (value instanceof FontUIResource) { 363 363 FontUIResource fui = (FontUIResource) value; 364 364 UIManager.put(key, new FontUIResource(name, fui.getStyle(), fui.getSize()));
Note:
See TracChangeset
for help on using the changeset viewer.