Changeset 10293 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2016-05-28T23:19:23+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
r10242 r10293 1602 1602 if (anEvent instanceof MouseEvent) 1603 1603 return ((MouseEvent) anEvent).getClickCount() >= 2; 1604 1604 return true; 1605 1605 } 1606 1606
Note:
See TracChangeset
for help on using the changeset viewer.