module SourceCompletion: GtkSourceView3Props.SourceCompletion
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion Gobject.obj
module P: sig
.. end
module S: sig
.. end
val create : ?view:GtkSourceView3_types.source_view Gobject.obj ->
GtkSourceView3_types.source_completion Gobject.param list ->
GtkSourceView3_types.source_completion Gobject.obj
val add_provider : [> `sourcecompletion ] Gobject.obj ->
GtkSourceView3_types.source_completion_provider Gobject.obj -> bool
val remove_provider : [> `sourcecompletion ] Gobject.obj ->
GtkSourceView3_types.source_completion_provider Gobject.obj -> bool
val block_interactive : [> `sourcecompletion ] Gobject.obj -> unit
val get_providers : [> `sourcecompletion ] Gobject.obj ->
GtkSourceView3_types.source_completion_provider Gobject.obj list
val create_context : [> `sourcecompletion ] Gobject.obj ->
Gtk.text_iter -> GtkSourceView3_types.source_completion_context Gobject.obj
val hide : [> `sourcecompletion ] Gobject.obj -> unit
val move_window : [> `sourcecompletion ] Gobject.obj -> Gtk.text_iter -> unit
val show : [> `sourcecompletion ] Gobject.obj ->
GtkSourceView3_types.source_completion_provider Gobject.obj list ->
GtkSourceView3_types.source_completion_context Gobject.obj -> bool
val unblock_interactive : [> `sourcecompletion ] Gobject.obj -> unit