module Wpalette: sig .. end
sig
end
A side-bar palette of tools.
class tool : ?label:string -> ?tooltip:string -> ?content:Widget.widget -> unit -> object .. end
?label:string -> ?tooltip:string -> ?content:Widget.widget -> unit ->
object
Configurable palette-tool.
class panel : unit -> object .. end
unit ->
A Palette.