Completion.removeProvider

void removeProvider(gtksource.completion_provider.CompletionProvider provider)

Removes a gtksource.completion_provider.CompletionProvider previously added with gtksource.completion.Completion.addProvider.

Parameters

providera #GtkSourceCompletionProvider