Module Wpalette

module Wpalette: sig .. end

A side-bar palette of tools.

class tool : ?label:string -> ?tooltip:string -> ?content:Widget.widget -> unit -> object .. end

Configurable palette-tool.

class panel : unit -> object .. end

A Palette.