Changeset 11713 in josm for trunk/src/org/openstreetmap/josm/gui/progress
- Timestamp:
- 2017-03-10T02:28:00+01:00 (7 years ago)
- Location:
- trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk
- Property svn:ignore
-
old new 12 12 junit*.properties 13 13 foobar 14 pmd-josm.xml
-
- Property svn:ignore
-
trunk/src/org/openstreetmap/josm/gui/progress/ProgressMonitor.java
r11100 r11713 33 33 34 34 @FunctionalInterface 35 publicinterface CancelListener {35 interface CancelListener { 36 36 void operationCanceled(); 37 37 }
Note:
See TracChangeset
for help on using the changeset viewer.