Changeset 12387 in josm for trunk/src/org
- Timestamp:
- 2017-06-10T14:12:09+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
r12360 r12387 147 147 148 148 if (changed && Main.isDisplayingMapView()) { 149 OsmDataLayer editLayer = Main.getLayerManager().getEditLayer(); 150 if (editLayer != null) { 151 editLayer.invalidate(); 152 } 153 Main.map.filterDialog.updateDialogHeader(); 149 updateMap(); 154 150 } 155 151 } … … 205 201 206 202 if (changed) { 207 Main.map.mapView.repaint(); 208 Main.map.filterDialog.updateDialogHeader(); 203 updateMap(); 209 204 ds.clearSelection(deselect); 210 205 } 211 206 } 207 208 private static void updateMap() { 209 OsmDataLayer editLayer = Main.getLayerManager().getEditLayer(); 210 if (editLayer != null) { 211 editLayer.invalidate(); 212 } 213 Main.map.filterDialog.updateDialogHeader(); 212 214 } 213 215
Note:
See TracChangeset
for help on using the changeset viewer.