label
Default: ~style:`Label ~align:`Left
~style:`Label ~align:`Left
inherit widget
method set_text : string -> unit
method set_tooltip : string -> unit
method set_fg : color -> unit
method set_bg : color -> unit
Frama-C