source_completion_item
method as_source_completion_proposal : GtkSourceView3_types.source_completion_proposal Gtk.obj
method connect : source_completion_proposal_signals
method icon : GdkPixbuf.pixbuf
method info : string
method label : string
method markup : string
method set_icon : GdkPixbuf.pixbuf -> unit
method set_info : string -> unit
method set_label : string -> unit
method set_markup : string -> unit
method set_text : string -> unit
method text : string
Frama-C Frama-C