Changeset 12755 in josm
- Timestamp:
- 2017-09-06T10:26:14+02:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r12735 r12755 33 33 import org.openstreetmap.josm.data.Preferences; 34 34 import org.openstreetmap.josm.data.UndoRedoHandler; 35 import org.openstreetmap.josm.data.cache.JCSCacheManager;36 35 import org.openstreetmap.josm.data.coor.conversion.CoordinateFormatManager; 37 36 import org.openstreetmap.josm.data.coor.conversion.DecimalDegreesCoordinateFormat; … … 757 756 if (!GraphicsEnvironment.isHeadless()) { 758 757 ImageProvider.shutdown(false); 759 JCSCacheManager.shutdown();760 758 } 761 759 try { -
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.