Class Wpalette.panel

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.