GtkSourceView3_types.source_completion Gtk.obj ->
object ('a)
  method activate_proposal : callback:(unit -> unit) -> GtkSignal.id
  method after : 'a
  method hide : callback:(unit -> unit) -> GtkSignal.id
  method move_cursor :
    callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
  method move_page :
    callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
  method notify_accelerators : callback:(int -> unit) -> GtkSignal.id
  method notify_auto_complete_delay : callback:(int -> unit) -> GtkSignal.id
  method notify_proposal_page_size : callback:(int -> unit) -> GtkSignal.id
  method notify_provider_page_size : callback:(int -> unit) -> GtkSignal.id
  method notify_remember_info_visibility :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_select_on_show : callback:(bool -> unit) -> GtkSignal.id
  method notify_show_headers : callback:(bool -> unit) -> GtkSignal.id
  method notify_show_icons : callback:(bool -> unit) -> GtkSignal.id
  method populate_context :
    callback:(GSourceView3.source_completion_context -> unit) -> GtkSignal.id
  method show : callback:(unit -> unit) -> GtkSignal.id
end