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