module SourceCompletionProvider:sig
..end
include GtkSourceView3Props.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_ : GtkSourceView3_types.source_completion_provider Gtk.obj ->
GtkSourceView3_types.source_completion_context Gtk.obj -> bool
val new_ : provider ->
GtkSourceView3_types.source_completion_provider Gtk.obj