Changeset 12176 in josm for trunk/src/org
- Timestamp:
- 2017-05-15T18:20:34+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/OsmDataLayer.java
r12160 r12176 567 567 } 568 568 // repaint to make sure new data is displayed properly. 569 if (Main.isDisplayingMapView()) { 570 Main.map.mapView.repaint(); 571 } 569 invalidate(); 572 570 // warn about new conflicts 573 571 if (numNewConflicts > 0 && Main.map != null && Main.map.conflictDialog != null) {
Note:
See TracChangeset
for help on using the changeset viewer.