Changeset 1875 in josm for trunk/src/org/openstreetmap/josm/gui/progress/AbstractProgressMonitor.java
- Timestamp:
- 2009-07-31T07:29:19+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/progress/AbstractProgressMonitor.java
r1872 r1875 98 98 99 99 public synchronized void invalidate() { 100 checkState(State.INIT); 101 state = State.FINISHED; 102 doFinishTask(); 100 if (state == State.INIT) { 101 state = State.FINISHED; 102 doFinishTask(); 103 } 103 104 } 104 105
Note:
See TracChangeset
for help on using the changeset viewer.