package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `Widget.label`Source

Default: ~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