GtkSource.Hover.remove_provider – gtksourceview-5 Reference Manual
remove_provider
Description:
public
void
remove_provider
(
HoverProvider
provider)
2022 vala-language.org