class panel :unit ->
object
..end
A Palette. Implemented with a vertical box with a scrollbar.
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.