CompletionProvider.refilter

void refilter(gtksource.completion_context.CompletionContext context, gio.list_model.ListModel model)

This function can be used to filter results previously provided to the gtksource.completion_context.CompletionContext by the #GtkSourceCompletionProvider.

This can happen as the user types additional text onto the word so that previously matched items may be removed from the list instead of generating new gio.list_model.ListModel of results.

Parameters

contexta #GtkSourceCompletionContext
modela #GListModel