([> Gtk.tool_button ] as 'a) Gtk.obj ->
object
  val obj : 'Gtk.obj
  method add : GObj.widget -> unit
  method all_children : GObj.widget list
  method as_tool_item : Gtk.tool_item Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method child : GObj.widget
  method children : GObj.widget list
  method coerce : GObj.widget
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method focus : GContainer.focus
  method get_expand : bool
  method get_homogeneous : bool
  method get_oid : int
  method get_use_drag_window : bool
  method icon_widget : GObj.widget
  method is_important : bool
  method label : string
  method label_widget : GObj.widget
  method misc : GObj.misc_ops
  method remove : GObj.widget -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method set_border_width : int -> unit
  method set_expand : bool -> unit
  method set_homogeneous : bool -> unit
  method set_icon_widget : GObj.widget -> unit
  method set_is_important : bool -> unit
  method set_label : string -> unit
  method set_label_widget : GObj.widget -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method set_stock_id : GtkStock.id -> unit
  method set_tooltip : GData.tooltips -> string -> string -> unit
  method set_use_drag_window : bool -> unit
  method set_use_underline : bool -> unit
  method set_visible_horizontal : bool -> unit
  method set_visible_vertical : bool -> unit
  method stock_id : GtkStock.id
  method use_underline : bool
  method visible_horizontal : bool
  method visible_vertical : bool
end