class tool :?label:string -> ?tooltip:string -> ?content:Widget.widget -> unit ->
object
..end
Configurable palette-tool. Each tool is a widget that consists of three components:
The action button is only displayed when associated with a callback.
Clicking the label toggles the configuration panel, if the tool is active
.
widget
method tool : tool
Self cast
method is_active : bool
method on_active : (bool -> unit) -> unit
method set_active : bool -> unit
method has_action : bool
method set_label : string -> unit
method set_status : Widget.icon -> unit
method set_tooltip : string -> unit
method set_action : ?icon:Widget.icon ->
?tooltip:string -> ?callback:(unit -> unit) -> unit -> unit
Makes the action button visible.
method clear_action : unit
Deactivate and hide the action button.
method set_content : Widget.widget -> unit
Shall be used at most once, and before #coerce
or #widget
.