- Timestamp:
- 2018-02-25T21:04:58+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/layer/OsmDataLayer.java
r13453 r13462 206 206 requiresSaveToFile = newValue; 207 207 if (oldValue != newValue) { 208 propertyChangeSupport.firePropertyChange(REQUIRES_SAVE_TO_DISK_PROP, oldValue, newValue); 208 GuiHelper.runInEDT(() -> 209 propertyChangeSupport.firePropertyChange(REQUIRES_SAVE_TO_DISK_PROP, oldValue, newValue) 210 ); 209 211 } 210 212 } … … 214 216 requiresUploadToServer = newValue; 215 217 if (oldValue != newValue) { 216 propertyChangeSupport.firePropertyChange(REQUIRES_UPLOAD_TO_SERVER_PROP, oldValue, newValue); 218 GuiHelper.runInEDT(() -> 219 propertyChangeSupport.firePropertyChange(REQUIRES_UPLOAD_TO_SERVER_PROP, oldValue, newValue) 220 ); 217 221 } 218 222 }
Note:
See TracChangeset
for help on using the changeset viewer.