Changeset 3327 in josm for trunk/src/org/openstreetmap/josm/gui/history
- Timestamp:
- 2010-06-09T22:14:06+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/NodeListViewer.java
r3083 r3327 203 203 if (p!= null) { 204 204 getEditLayer().data.setSelected(p.getPrimitiveId()); 205 new AutoScaleAction("selection").autoScale();205 AutoScaleAction.autoScale("selection"); 206 206 } 207 207 }
Note:
See TracChangeset
for help on using the changeset viewer.