Changeset 10611 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyles.java
- Timestamp:
- 2016-07-23T18:46:45+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyles.java
r10378 r10611 59 59 public void clearCached() { 60 60 // run in EDT to make sure this isn't called during rendering run 61 GuiHelper.runInEDT(new Runnable() { 62 @Override 63 public void run() { 64 cacheIdx++; 65 preferenceCache.clear(); 66 } 61 GuiHelper.runInEDT(() -> { 62 cacheIdx++; 63 preferenceCache.clear(); 67 64 }); 68 65 }
Note:
See TracChangeset
for help on using the changeset viewer.