source_completion_signals (frama-c.Frama_c_gui.GSourceView.source_completion

method activate_proposal : callback:(unit -> unit) -> GtkSignal.id

method after : < activate_proposal : callback:(unit -> unit) -> GtkSignal.id
  ; after : 'a
  ; hide : callback:(unit -> unit) -> GtkSignal.id
  ; move_cursor : 
    callback:(GtkEnums.scroll_step -> int -> unit) ->
    GtkSignal.id
  ; move_page : callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
  ; notify_accelerators : callback:(int -> unit) -> GtkSignal.id
  ; notify_auto_complete_delay : callback:(int -> unit) -> GtkSignal.id
  ; notify_proposal_page_size : callback:(int -> unit) -> GtkSignal.id
  ; notify_provider_page_size : callback:(int -> unit) -> GtkSignal.id
  ; notify_remember_info_visibility : callback:(bool -> unit) -> GtkSignal.id
  ; notify_select_on_show : callback:(bool -> unit) -> GtkSignal.id
  ; notify_show_headers : callback:(bool -> unit) -> GtkSignal.id
  ; notify_show_icons : callback:(bool -> unit) -> GtkSignal.id
  ; populate_context : 
    callback:(source_completion_context -> unit) ->
    GtkSignal.id
  ; show : callback:(unit -> unit) -> GtkSignal.id.. > as '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:(source_completion_context -> unit) ->
  GtkSignal.id

method show : callback:(unit -> unit) -> GtkSignal.id