Function sync_filter 

pub fn sync_filter(field: &mut SearchField, content: &mut dyn Widget)

Carry field’s edits to the Filterable in content: call after routing each event. The field shows the count the view reports, and its “Search everywhere” escalation narrows to the view’s scope.