Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_completion_proposal_signals

method changed : callback:(unit -> unit) -> GtkSignal.id
method notify_icon : callback:(GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method notify_info : callback:(string -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_markup : callback:(string -> unit) -> GtkSignal.id
method notify_text : callback:(string -> unit) -> GtkSignal.id