source_completion_proposal
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 text : string
Frama-C Frama-C