Changeset 12360 in josm
- Timestamp:
- 2017-06-09T19:16:05+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
r12299 r12360 30 30 import org.openstreetmap.josm.data.osm.Node; 31 31 import org.openstreetmap.josm.data.osm.OsmPrimitive; 32 import org.openstreetmap.josm.gui.layer.OsmDataLayer; 32 33 import org.openstreetmap.josm.tools.Utils; 33 34 … … 146 147 147 148 if (changed && Main.isDisplayingMapView()) { 148 Main.map.mapView.repaint(); 149 OsmDataLayer editLayer = Main.getLayerManager().getEditLayer(); 150 if (editLayer != null) { 151 editLayer.invalidate(); 152 } 149 153 Main.map.filterDialog.updateDialogHeader(); 150 154 }
Note:
See TracChangeset
for help on using the changeset viewer.