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