Changeset 13208 in josm


Ignore:
Timestamp:
2017-12-17T15:01:15+01:00 (5 weeks 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:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/osm/DataSet.java

    r13173 r13208  
    12101210    }
    12111211
     1212    void fireFilterChanged() {
     1213        fireEvent(new DataChangedEvent(this));
     1214    }
     1215
    12121216    void fireHighlightingChanged() {
    12131217        HighlightUpdateListener.HighlightUpdateEvent e = new HighlightUpdateListener.HighlightUpdateEvent(this);
  • trunk/src/org/openstreetmap/josm/data/osm/FilterModel.java

    r13150 r13208  
    130130                disabledCount -= disabledAndHiddenCount;
    131131            } finally {
     132                if (changed) {
     133                    ds.fireFilterChanged();
     134                }
    132135                ds.endUpdate();
    133136            }
Note: See TracChangeset for help on using the changeset viewer.