Filter.changed
void changed(gtk.types.FilterChange change)Notifies all users of the filter that it has changed.
This emits the [gtk.filter.Filter.changed] signal. Users of the filter should then check items again via [gtk.filter.Filter.match].
Depending on the change parameter, not all items need to be changed, but only some. Refer to the [gtk.types.FilterChange] documentation for details.
This function is intended for implementers of [gtk.filter.Filter] subclasses and should not be called from other functions.
Parameters
change | How the filter changed |