Changeset 13208 in josm for trunk/src/org/openstreetmap/josm/data/osm/DataSet.java

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)

File:

• trunk/src/org/openstreetmap/josm/data/osm/DataSet.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);