Changeset 5513 in josm
- Timestamp:
- 2012-09-16T09:34:03+02:00 (12 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/layer
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/ImageryLayer.java
r5464 r5513 315 315 @Override 316 316 public void destroy() { 317 super.destroy(); 317 318 adjustAction.destroy(); 318 319 } -
trunk/src/org/openstreetmap/josm/gui/layer/WMSLayer.java
r5459 r5513 166 166 startGrabberThreads(); 167 167 } 168 168 169 169 Main.pref.addPreferenceChangeListener(this); 170 170 } … … 257 257 @Override 258 258 public void destroy() { 259 super.destroy(); 259 260 cancelGrabberThreads(false); 260 261 Main.pref.removePreferenceChangeListener(this); … … 975 976 public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException { 976 977 int sfv = in.readInt(); 977 if (sfv != serializeFormatVersion) {978 if (sfv != serializeFormatVersion) 978 979 throw new InvalidClassException(tr("Unsupported WMS file version; found {0}, expected {1}", sfv, serializeFormatVersion)); 979 }980 980 autoDownloadEnabled = false; 981 981 dax = in.readInt(); … … 986 986 info.setExtendedUrl((String)in.readObject()); 987 987 images = (GeorefImage[][])in.readObject(); 988 988 989 989 for (GeorefImage[] imgs : images) { 990 990 for (GeorefImage img : imgs) { … … 994 994 } 995 995 } 996 996 997 997 settingsChanged = true; 998 998 if (Main.isDisplayingMapView()) {
Note:
See TracChangeset
for help on using the changeset viewer.