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 classCompletionContext 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