Frama-C API - source_completion_signals
method activate_proposal : callback:(unit -> unit) -> GtkSignal.idmethod 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 'amethod hide : callback:(unit -> unit) -> GtkSignal.idmethod move_cursor : callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.idmethod move_page : callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.idmethod notify_accelerators : callback:(int -> unit) -> GtkSignal.idmethod notify_auto_complete_delay : callback:(int -> unit) -> GtkSignal.idmethod notify_proposal_page_size : callback:(int -> unit) -> GtkSignal.idmethod notify_provider_page_size : callback:(int -> unit) -> GtkSignal.idmethod notify_remember_info_visibility : callback:(bool -> unit) -> GtkSignal.idmethod notify_select_on_show : callback:(bool -> unit) -> GtkSignal.idmethod notify_show_icons : callback:(bool -> unit) -> GtkSignal.idmethod show : callback:(unit -> unit) -> GtkSignal.id 