unit ->
object
  method add_tool : Wpalette.tool -> unit
  method add_widget : GObj.widget -> unit
  method coerce : GObj.widget
  method set_enabled : bool -> unit
  method set_visible : bool -> unit
  method widget : Widget.widget
end