Changeset 19050 in osm for applications/editors/josm/plugins/openlayers
- Timestamp:
- 2009-12-12T17:34:12+01:00 (15 years ago)
- Location:
- applications/editors/josm/plugins/openlayers
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified applications/editors/josm/plugins/openlayers/build.xml ¶
r18597 r19050 37 37 <attribute name="Plugin-Date" value="${version.entry.commit.date}"/> 38 38 <attribute name="Plugin-Description" value="Displays an OpenLayers background image" /> 39 <attribute name="Plugin-Mainversion" value="2 450"/>39 <attribute name="Plugin-Mainversion" value="2620"/> 40 40 <attribute name="Plugin-Version" value="${version.entry.commit.revision}"/> 41 41 </manifest> -
TabularUnified applications/editors/josm/plugins/openlayers/src/org/openstreetmap/josm/plugins/openLayers/OpenLayersLayer.java ¶
r18597 r19050 15 15 import org.openstreetmap.josm.actions.RenameLayerAction; 16 16 import org.openstreetmap.josm.data.Bounds; 17 import org.openstreetmap.josm.data.Preferences.PreferenceChangedListener;18 17 import org.openstreetmap.josm.data.coor.LatLon; 19 18 import org.openstreetmap.josm.data.osm.visitor.BoundingXYVisitor; … … 30 29 * 31 30 */ 32 public class OpenLayersLayer extends Layer implements PreferenceChangedListener, 33 PropertyChangeListener, MyHtmlBlockPanel.ViewUpdateListener { 31 public class OpenLayersLayer extends Layer implements PropertyChangeListener, MyHtmlBlockPanel.ViewUpdateListener { 34 32 35 33 private Browser browser; … … 110 108 @Override 111 109 public void destroy() { 112 Main.pref.listener.remove(this);113 114 110 if( Main.map != null ) 115 111 Main.map.mapView.removePropertyChangeListener(this); … … 117 113 OpenLayersPlugin.layer = null; 118 114 StorageManager.flush(); 119 }120 121 public void preferenceChanged(String key, String newValue) {122 115 } 123 116
Note:
See TracChangeset
for help on using the changeset viewer.