Changeset 11028 in josm
- Timestamp:
- 2016-09-19T16:36:59+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapView.java
r10975 r11028 472 472 paintPreferencesChanged = false; 473 473 } 474 canUseBuffer = canUseBuffer && nonChangedLayers.size() <= nonChangedLayersCount && 475 lastViewID == getViewID() && lastClipBounds.contains(g.getClipBounds()); 476 if (canUseBuffer) { 477 for (int i = 0; i < nonChangedLayers.size(); i++) { 478 if (visibleLayers.get(i) != nonChangedLayers.get(i)) { 479 canUseBuffer = false; 480 break; 481 } 482 } 483 } 474 canUseBuffer = canUseBuffer 475 && nonChangedLayers.size() <= nonChangedLayersCount 476 && lastViewID == getViewID() 477 && lastClipBounds.contains(g.getClipBounds()) 478 && nonChangedLayers.equals(visibleLayers.subList(0, nonChangedLayers.size())); 484 479 485 480 if (null == offscreenBuffer || offscreenBuffer.getWidth() != getWidth() || offscreenBuffer.getHeight() != getHeight()) { … … 516 511 517 512 nonChangedLayers.clear(); 518 for (int i = 0; i < nonChangedLayersCount; i++) { 519 nonChangedLayers.add(visibleLayers.get(i)); 520 } 513 nonChangedLayers.addAll(visibleLayers.subList(0, nonChangedLayersCount)); 521 514 lastViewID = getViewID(); 522 515 lastClipBounds = g.getClipBounds();
Note:
See TracChangeset
for help on using the changeset viewer.