([> Gtk.tool_button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_tool_item : Gtk.tool_item Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_expand : bool
method get_homogeneous : bool
method get_oid : int
method get_use_drag_window : bool
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method icon_widget : GObj.widget
method is_focus : bool
method is_important : bool
method label : string
method label_widget : GObj.widget
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_homogeneous : bool -> unit
method set_icon_widget : GObj.widget -> unit
method set_is_focus : bool -> unit
method set_is_important : bool -> unit
method set_label : string -> unit
method set_label_widget : GObj.widget -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_stock_id : GtkStock.id -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_drag_window : bool -> unit
method set_use_underline : bool -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method set_width_request : int -> unit
method stock_id : GtkStock.id
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method visible_horizontal : bool
method visible_vertical : bool
method width_request : int
end