FilterListModel.setFilter

void setFilter(gtk.filter.Filter filter = null)

Sets the filter used to filter items.

Parameters

filterfilter to use