Changeset 12471 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-07-13T21:28:20+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
r12433 r12471 47 47 import org.openstreetmap.josm.gui.NavigatableComponent; 48 48 import org.openstreetmap.josm.gui.NavigatableComponent.ZoomChangeListener; 49 import org.openstreetmap.josm.gui.layer.OsmDataLayer; 49 50 import org.openstreetmap.josm.gui.mappaint.mapcss.Selector; 50 51 import org.openstreetmap.josm.gui.widgets.OSDLabel; … … 354 355 model.executeFilters(); 355 356 if (model.isChanged()) { 356 Main.getLayerManager().getEditLayer().invalidate(); 357 OsmDataLayer editLayer = Main.getLayerManager().getEditLayer(); 358 if (editLayer != null) { 359 editLayer.invalidate(); 360 } 357 361 } 358 362 }
Note:
See TracChangeset
for help on using the changeset viewer.