Wpalette.panel
A Palette. Implemented with a vertical box with a scrollbar.
inherit Frama_c_gui.Widget.widget
method add_tool : tool -> unit
Append a palette-tool. The panel ensures that only one tool is selected and toggled.
method add_widget : GObj.widget -> unit
Append an arbitrary widget among other widget tools.