Index: trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java	(revision 12386)
+++ trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java	(revision 12387)
@@ -147,9 +147,5 @@
 
         if (changed && Main.isDisplayingMapView()) {
-            OsmDataLayer editLayer = Main.getLayerManager().getEditLayer();
-            if (editLayer != null) {
-                editLayer.invalidate();
-            }
-            Main.map.filterDialog.updateDialogHeader();
+            updateMap();
         }
     }
@@ -205,9 +201,15 @@
 
         if (changed) {
-            Main.map.mapView.repaint();
-            Main.map.filterDialog.updateDialogHeader();
+            updateMap();
             ds.clearSelection(deselect);
         }
-
+    }
+
+    private static void updateMap() {
+        OsmDataLayer editLayer = Main.getLayerManager().getEditLayer();
+        if (editLayer != null) {
+            editLayer.invalidate();
+        }
+        Main.map.filterDialog.updateDialogHeader();
     }