module SourceCompletionProvider:sig
..end
include GtkSourceView2Props.SourceCompletionProvider
type
provider = {
|
provider_name : |
|
provider_icon : |
|
provider_populate : |
|
provider_activation : |
|
provider_match : |
|
provider_info_widget : |
|
provider_update_info : |
|
provider_start_iter : |
|
provider_activate_proposal : |
|
provider_interactive_delay : |
|
provider_priority : |
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