Module GtkSourceView3Props.SourceCompletionContext
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_context Gobject.obj
module P : sig ... endmodule S : sig ... endval create : ?completion:GtkSourceView3_types.source_completion Gobject.obj -> GtkSourceView3_types.source_completion_context Gobject.param list -> GtkSourceView3_types.source_completion_context Gobject.obj
val get_activation : [> `sourcecompletioncontext ] Gobject.obj -> SourceView3Enums.source_completion_activation_flags listval set_activation : [> `sourcecompletioncontext ] Gobject.obj -> SourceView3Enums.source_completion_activation_flags list -> unitval add_proposals : [> `sourcecompletioncontext ] Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj list -> bool -> unit