Changeset 12755 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2017-09-06T10:26:14+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r12749 r12755 76 76 import org.openstreetmap.josm.data.UndoRedoHandler.CommandQueueListener; 77 77 import org.openstreetmap.josm.data.Version; 78 import org.openstreetmap.josm.data.cache.JCSCacheManager; 78 79 import org.openstreetmap.josm.data.oauth.OAuthAccessTokenHolder; 79 80 import org.openstreetmap.josm.data.osm.DataSet; … … 385 386 if (!GraphicsEnvironment.isHeadless()) { 386 387 worker.shutdown(); 388 JCSCacheManager.shutdown(); 387 389 } 388 390 if (mainFrame != null) {
Note:
See TracChangeset
for help on using the changeset viewer.