Changeset 5557 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2012-11-03T20:15:49+01:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/WMSLayer.java
r5513 r5557 600 600 if (request.getState() != null && !request.isPrecacheOnly()) { 601 601 finishedRequests.add(request); 602 Main.map.mapView.repaint(); 602 if (Main.map != null && Main.map.mapView != null) { 603 Main.map.mapView.repaint(); 604 } 603 605 } 604 606 } finally {
Note:
See TracChangeset
for help on using the changeset viewer.