Changeset 13180 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2017-12-02T00:59:36+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r13174 r13180 221 221 */ 222 222 public static final ExecutorService worker = new ProgressMonitorExecutor("main-worker-%d", Thread.NORM_PRIORITY); 223 static {224 Main.worker = worker;225 }226 223 227 224 /**
Note:
See TracChangeset
for help on using the changeset viewer.