Index: /trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java	(revision 12359)
+++ /trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java	(revision 12360)
@@ -30,4 +30,5 @@
 import org.openstreetmap.josm.data.osm.Node;
 import org.openstreetmap.josm.data.osm.OsmPrimitive;
+import org.openstreetmap.josm.gui.layer.OsmDataLayer;
 import org.openstreetmap.josm.tools.Utils;
 
@@ -146,5 +147,8 @@
 
         if (changed && Main.isDisplayingMapView()) {
-            Main.map.mapView.repaint();
+            OsmDataLayer editLayer = Main.getLayerManager().getEditLayer();
+            if (editLayer != null) {
+                editLayer.invalidate();
+            }
             Main.map.filterDialog.updateDialogHeader();
         }