source_completion_info_signals (frama-c.Frama_c_gui.GSourceView.source_completion_info

method add : callback:(GObj.widget -> unit) -> GtkSignal.id

method after : < add : callback:(GObj.widget -> unit) -> GtkSignal.id
  ; after : 'a
  ; before_show : callback:(unit -> unit) -> GtkSignal.id
  ; destroy : callback:(unit -> unit) -> GtkSignal.id
  ; notify_border_width : callback:(int -> unit) -> GtkSignal.id
  ; notify_max_height : callback:(int -> unit) -> GtkSignal.id
  ; notify_max_width : callback:(int -> unit) -> GtkSignal.id
  ; notify_resize_mode : 
    callback:(GtkEnums.resize_mode -> unit) ->
    GtkSignal.id
  ; notify_shrink_height : callback:(bool -> unit) -> GtkSignal.id
  ; notify_shrink_width : callback:(bool -> unit) -> GtkSignal.id
  ; remove : callback:(GObj.widget -> unit) -> GtkSignal.id.. > as 'a

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

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

method notify_border_width : callback:(int -> unit) -> GtkSignal.id

method notify_max_height : callback:(int -> unit) -> GtkSignal.id

method notify_max_width : callback:(int -> unit) -> GtkSignal.id

method notify_resize_mode : callback:(GtkEnums.resize_mode -> unit) ->
  GtkSignal.id

method notify_shrink_height : callback:(bool -> unit) -> GtkSignal.id

method notify_shrink_width : callback:(bool -> unit) -> GtkSignal.id

method remove : callback:(GObj.widget -> unit) -> GtkSignal.id