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