Index: src/org/openstreetmap/josm/data/osm/DataSet.java
===================================================================
--- src/org/openstreetmap/josm/data/osm/DataSet.java	(revision 13193)
+++ src/org/openstreetmap/josm/data/osm/DataSet.java	(working copy)
@@ -1209,6 +1209,10 @@
         fireEvent(new PrimitiveFlagsChangedEvent(this, primitive));
     }
 
+    void fireFilterChanged() {
+        fireEvent(new DataChangedEvent(this));
+    }
+
     void fireHighlightingChanged() {
         HighlightUpdateListener.HighlightUpdateEvent e = new HighlightUpdateListener.HighlightUpdateEvent(this);
         highlightUpdateListeners.fireEvent(l -> l.highlightUpdated(e));
Index: src/org/openstreetmap/josm/data/osm/FilterModel.java
===================================================================
--- src/org/openstreetmap/josm/data/osm/FilterModel.java	(revision 13193)
+++ src/org/openstreetmap/josm/data/osm/FilterModel.java	(working copy)
@@ -129,6 +129,9 @@
                 }
                 disabledCount -= disabledAndHiddenCount;
             } finally {
+                if (changed) {
+                    ds.fireFilterChanged();
+                }
                 ds.endUpdate();
             }