Ticket #15670: josm-generate-DataChangedEvent-if-action-in-FilterDialog-modified-disabled-or-hidden-state-of-objects.patch

src/org/openstreetmap/josm/data/osm/DataSet.java

@@ -1209 +1209 @@
         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));

src/org/openstreetmap/josm/data/osm/FilterModel.java

@@ -129 +129 @@
                 }
                 disabledCount -= disabledAndHiddenCount;
             } finally {
+                if (changed) {
+                    ds.fireFilterChanged();
+                }
                 ds.endUpdate();
             }