Changeset 94 in josm for src/org/openstreetmap/josm/gui/MapView.java
- Timestamp:
- 2006-04-23T19:51:19+02:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/org/openstreetmap/josm/gui/MapView.java
r93 r94 85 85 // listend to selection changes to redraw the map 86 86 Main.ds.addSelectionChangedListener(new SelectionChangedListener(){ 87 public void selectionChanged(Collection< OsmPrimitive> newSelection) {87 public void selectionChanged(Collection<? extends OsmPrimitive> newSelection) { 88 88 repaint(); 89 89 } … … 106 106 dataLayer.data.addAllSelectionListener(Main.ds); 107 107 Main.ds = dataLayer.data; 108 dataLayer. addModifiedListener(new ModifiedChangedListener(){109 110 111 112 108 dataLayer.listenerModified.add(new ModifiedChangedListener(){ 109 public void modifiedChanged(boolean value, OsmDataLayer source) { 110 Main.main.setTitle((value?"*":"")+"Java Open Street Map - Editor"); 111 } 112 }); 113 113 } 114 114
Note:
See TracChangeset
for help on using the changeset viewer.