refilter
Description:
public void refilter ()
Applies the filter method set by Granite.Widgets.SourceList.set_filter_func to all the items that are part of the current tree.
Since:
0.2
See also:
Granite.Widgets.SourceList.VisibleFunc, Granite.Widgets.SourceList.set_filter_func