class source_completion : GtkSourceView3_types.source_completion Gtk.obj -> object .. end
method accelerators : int
method add_provider : source_completion_provider -> bool
method as_source_completion : GtkSourceView3_types.source_completion Gtk.obj
method auto_complete_delay : int
method block_interactive : unit -> unit
method connect : source_completion_signals
method create_context : GText.iter -> source_completion_context
method hide : unit -> unit
method move_window : GText.iter -> unit
method proposal_page_size : int
method providers : source_completion_provider list
method provider_page_size : int
method remember_info_visibility : bool
method remove_provider : source_completion_provider -> bool
method select_on_show : bool
method set_accelerators : int -> unit
method set_auto_complete_delay : int -> unit
method set_proposal_page_size : int -> unit
method set_provider_page_size : int -> unit
method set_remember_info_visibility : bool -> unit
method set_select_on_show : bool -> unit
: bool -> unit
method set_show_icons : bool -> unit
method show : source_completion_provider list ->
source_completion_context -> bool
: bool
method show_icons : bool
method unblock_interactive : unit -> unit