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

File josm-generate-DataChangedEvent-if-action-in-FilterDialog-modified-disabled-or-hidden-state-of-objects.patch, 1.2 KB (added by cmuelle8, 4 years ago)
  • src/org/openstreetmap/josm/data/osm/DataSet.java

     
    12091209        fireEvent(new PrimitiveFlagsChangedEvent(this, primitive));
    12101210    }
    12111211
     1212    void fireFilterChanged() {
     1213        fireEvent(new DataChangedEvent(this));
     1214    }
     1215
    12121216    void fireHighlightingChanged() {
    12131217        HighlightUpdateListener.HighlightUpdateEvent e = new HighlightUpdateListener.HighlightUpdateEvent(this);
    12141218        highlightUpdateListeners.fireEvent(l -> l.highlightUpdated(e));
  • src/org/openstreetmap/josm/data/osm/FilterModel.java

     
    129129                }
    130130                disabledCount -= disabledAndHiddenCount;
    131131            } finally {
     132                if (changed) {
     133                    ds.fireFilterChanged();
     134                }
    132135                ds.endUpdate();
    133136            }
    134137