Changeset 8500 in josm
- Timestamp:
- 2015-06-19T22:33:02+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r8499 r8500 119 119 public void stateChanged(ChangeEvent ignore) { 120 120 progressRenderer.setTasks(progressMonitor.toString()); 121 pack();122 121 } 123 122
Note:
See TracChangeset
for help on using the changeset viewer.