GtkSourceView3Props.SourceCompletionProviderval cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.objval get_name : [> `sourcecompletionprovider ] Gobject.obj -> stringval get_icon : [> `sourcecompletionprovider ] Gobject.obj -> GdkPixbuf.pixbuf optionval populate : [> `sourcecompletionprovider ] Gobject.obj -> GtkSourceView3_types.source_completion_context Gobject.obj -> unitval get_activation : [> `sourcecompletionprovider ] Gobject.obj -> SourceView3Enums.source_completion_activation_flags listval get_info_widget : [> `sourcecompletionprovider ] Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj -> Gtk.widget Gobject.obj optionval update_info : [> `sourcecompletionprovider ] Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj -> GtkSourceView3_types.source_completion_info Gobject.obj -> unitval get_start_iter : [> `sourcecompletionprovider ] Gobject.obj -> GtkSourceView3_types.source_completion_context Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj -> Gtk.text_iterval activate_proposal : [> `sourcecompletionprovider ] Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj -> Gtk.text_iter -> boolval get_interactive_delay : [> `sourcecompletionprovider ] Gobject.obj -> intval get_priority : [> `sourcecompletionprovider ] Gobject.obj -> int