GtkSourceView3_types.source_completion Gtk.obj ->
object
  method accelerators : int
  method add_provider : GSourceView3.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 : GSourceView3.source_completion_signals
  method create_context :
    GText.iter -> GSourceView3.source_completion_context
  method hide : unit -> unit
  method move_window : GText.iter -> unit
  method proposal_page_size : int
  method provider_page_size : int
  method providers : GSourceView3.source_completion_provider list
  method remember_info_visibility : bool
  method remove_provider : GSourceView3.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
  method set_show_headers : bool -> unit
  method set_show_icons : bool -> unit
  method show :
    GSourceView3.source_completion_provider list ->
    GSourceView3.source_completion_context -> bool
  method show_headers : bool
  method show_icons : bool
  method unblock_interactive : unit -> unit
end