Module GtkSourceView2.SourceCompletionProvider

module SourceCompletionProvider: sig .. end

include GtkSourceView2Props.SourceCompletionProvider
type provider = {
   provider_name :unit -> string;
   provider_icon :unit -> GdkPixbuf.pixbuf option;
   provider_populate :GtkSourceView2_types.source_completion_context Gtk.obj -> unit;
   provider_activation :unit -> SourceView2Enums.source_completion_activation_flags list;
   provider_match :GtkSourceView2_types.source_completion_context Gtk.obj -> bool;
   provider_info_widget :GtkSourceView2_types.source_completion_proposal Gtk.obj ->
Gtk.widget Gtk.obj option
;
   provider_update_info :GtkSourceView2_types.source_completion_proposal Gtk.obj ->
GtkSourceView2_types.source_completion_info Gtk.obj -> unit
;
   provider_start_iter :GtkSourceView2_types.source_completion_context Gtk.obj ->
GtkSourceView2_types.source_completion_proposal Gtk.obj ->
Gtk.text_iter -> bool
;
   provider_activate_proposal :GtkSourceView2_types.source_completion_proposal Gtk.obj ->
Gtk.text_iter -> bool
;
   provider_interactive_delay :unit -> int;
   provider_priority :unit -> int;
}
val match_ : GtkSourceView2_types.source_completion_provider Gtk.obj ->
GtkSourceView2_types.source_completion_context Gtk.obj -> bool
val new_ : provider ->
GtkSourceView2_types.source_completion_provider Gtk.obj