Changeset 6317 in josm for trunk/src/org/openstreetmap/josm/actions/mapmode
- Timestamp:
- 2013-10-07T22:45:15+02:00 (11 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/actions/mapmode
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/mapmode/DrawAction.java
r6316 r6317 301 301 // events for crossplatform key holding processing 302 302 // thanks to http://www.arco.in-berlin.de/keyevent.html 303 private final TreeSet<Integer> set = new TreeSet<Integer>();303 private final Set<Integer> set = new TreeSet<Integer>(); 304 304 private KeyEvent releaseEvent; 305 305 private Timer timer; -
trunk/src/org/openstreetmap/josm/actions/mapmode/SelectAction.java
r6310 r6317 367 367 } 368 368 369 private boolean repaintIfRequired( HashSet<OsmPrimitive> newHighlights) {369 private boolean repaintIfRequired(Set<OsmPrimitive> newHighlights) { 370 370 if(!drawTargetHighlight) 371 371 return false;
Note:
See TracChangeset
for help on using the changeset viewer.