Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_completion_signals

method activate_proposal : callback:(unit -> unit) -> GtkSignal.id
method after : 'b
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