Changeset 13208 in josm

Timestamp:

2017-12-17T15:01:15+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #15670 - fire a data set change event when applying filters (patch by cmuelle8)

Location:

trunk/src/org/openstreetmap/josm/data/osm

Files:

• DataSet.java (modified) (1 diff)
• FilterModel.java (modified) (1 diff)

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

@@ -1210 +1210 @@
     }
 
+    void fireFilterChanged() {
+        fireEvent(new DataChangedEvent(this));
+    }
+
     void fireHighlightingChanged() {
         HighlightUpdateListener.HighlightUpdateEvent e = new HighlightUpdateListener.HighlightUpdateEvent(this);

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

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