`sig
class button_skel :
([> Gtk.button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_focus_on_click : bool -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
class button_signals :
([> Gtk.button ] as 'b) Gtk.obj ->
object ('a)
val obj : 'b Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method clicked : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method enter : callback:(unit -> unit) -> GtkSignal.id
method leave : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_focus_on_click : callback:(bool -> unit) -> GtkSignal.id
method notify_image : callback:(GObj.widget -> unit) -> GtkSignal.id
method notify_image_position :
callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_relief :
callback:(GtkEnums.relief_style -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_use_stock : callback:(bool -> unit) -> GtkSignal.id
method notify_use_underline : callback:(bool -> unit) -> GtkSignal.id
method notify_xalign : callback:(float -> unit) -> GtkSignal.id
method notify_yalign : callback:(float -> unit) -> GtkSignal.id
method pressed : callback:(unit -> unit) -> GtkSignal.id
method released : callback:(unit -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class button :
Gtk.button Gtk.obj ->
object
val obj : Gtk.button Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method connect : GButton.button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_focus_on_click : bool -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val button :
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GButton.button
class toggle_button_signals :
([> Gtk.toggle_button ] as 'b) Gtk.obj ->
object ('a)
val obj : 'b Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method clicked : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method enter : callback:(unit -> unit) -> GtkSignal.id
method leave : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_focus_on_click : callback:(bool -> unit) -> GtkSignal.id
method notify_image : callback:(GObj.widget -> unit) -> GtkSignal.id
method notify_image_position :
callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_relief :
callback:(GtkEnums.relief_style -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_use_stock : callback:(bool -> unit) -> GtkSignal.id
method notify_use_underline : callback:(bool -> unit) -> GtkSignal.id
method notify_xalign : callback:(float -> unit) -> GtkSignal.id
method notify_yalign : callback:(float -> unit) -> GtkSignal.id
method pressed : callback:(unit -> unit) -> GtkSignal.id
method released : callback:(unit -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method toggled : callback:(unit -> unit) -> GtkSignal.id
end
class toggle_button :
([> Gtk.toggle_button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method active : bool
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method connect : GButton.toggle_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_active : bool -> unit
method set_border_width : int -> unit
method set_draw_indicator : bool -> unit
method set_focus_on_click : bool -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val toggle_button :
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.toggle_button
val check_button :
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.toggle_button
class radio_button :
Gtk.radio_button Gtk.obj ->
object
val obj : Gtk.radio_button Gtk.obj
method active : bool
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method connect : toggle_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method group : Gtk.radio_button Gtk.group
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_active : bool -> unit
method set_border_width : int -> unit
method set_draw_indicator : bool -> unit
method set_focus_on_click : bool -> unit
method set_group : Gtk.radio_button Gtk.group -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val radio_button :
?group:Gtk.radio_button Gtk.group ->
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.radio_button
class color_button_signals :
([> Gtk.color_button ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'b
method clicked : callback:(unit -> unit) -> GtkSignal.id
method color_set : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method enter : callback:(unit -> unit) -> GtkSignal.id
method leave : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_focus_on_click : callback:(bool -> unit) -> GtkSignal.id
method notify_image : callback:(GObj.widget -> unit) -> GtkSignal.id
method notify_image_position :
callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_relief :
callback:(GtkEnums.relief_style -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_use_stock : callback:(bool -> unit) -> GtkSignal.id
method notify_use_underline : callback:(bool -> unit) -> GtkSignal.id
method notify_xalign : callback:(float -> unit) -> GtkSignal.id
method notify_yalign : callback:(float -> unit) -> GtkSignal.id
method pressed : callback:(unit -> unit) -> GtkSignal.id
method released : callback:(unit -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class color_button :
([> Gtk.color_button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method alpha : int
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method color : Gdk.color
method connect : GButton.color_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_alpha : int -> unit
method set_border_width : int -> unit
method set_color : Gdk.color -> unit
method set_focus_on_click : bool -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_title : string -> unit
method set_use_alpha : bool -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method title : string
method unset_image : unit -> unit
method use_alpha : bool
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val color_button :
?color:Gdk.color ->
?title:string ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.color_button
class font_button_signals :
([> Gtk.font_button ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'b
method clicked : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method enter : callback:(unit -> unit) -> GtkSignal.id
method font_set : callback:(unit -> unit) -> GtkSignal.id
method leave : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_focus_on_click : callback:(bool -> unit) -> GtkSignal.id
method notify_image : callback:(GObj.widget -> unit) -> GtkSignal.id
method notify_image_position :
callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_relief :
callback:(GtkEnums.relief_style -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_use_stock : callback:(bool -> unit) -> GtkSignal.id
method notify_use_underline : callback:(bool -> unit) -> GtkSignal.id
method notify_xalign : callback:(float -> unit) -> GtkSignal.id
method notify_yalign : callback:(float -> unit) -> GtkSignal.id
method pressed : callback:(unit -> unit) -> GtkSignal.id
method released : callback:(unit -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class font_button :
([> Gtk.font_button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method connect : GButton.font_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method font_name : string
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_focus_on_click : bool -> unit
method set_font_name : string -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_show_size : bool -> unit
method set_show_style : bool -> unit
method set_title : string -> unit
method set_use_font : bool -> unit
method set_use_size : bool -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method show_size : bool
method show_style : bool
method title : string
method unset_image : unit -> unit
method use_font : bool
method use_size : bool
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val font_button :
?font_name:string ->
?title:string ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.font_button
class type tool_item_o =
object method as_tool_item : Gtk.tool_item Gtk.obj end
class toolbar_signals :
[> Gtk.toolbar ] Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method destroy : callback:(unit -> unit) -> GtkSignal.id
method focus_home_or_end : callback:(bool -> bool) -> GtkSignal.id
method move_focus :
callback:(GtkEnums.direction_type -> bool) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method orientation_changed :
callback:(GtkEnums.orientation -> unit) -> GtkSignal.id
method popup_context_menu :
callback:(int -> int -> int -> bool) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method style_changed :
callback:(GtkEnums.toolbar_style -> unit) -> GtkSignal.id
end
class toolbar :
Gtk.toolbar Gtk.obj ->
object
val obj : Gtk.toolbar Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method children : GObj.widget list
method coerce : GObj.widget
method connect : GButton.toolbar_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_drop_index : int -> int -> int
method get_item_index : #GButton.tool_item_o -> int
method get_n_items : int
method get_nth_item : int -> [ `toolitem ] Gtk.obj
method get_oid : int
method get_tooltips : bool
method icon_size : Gtk.Tags.icon_size
method insert : ?pos:int -> #GButton.tool_item_o -> unit
method insert_button :
?text:string ->
?tooltip:string ->
?tooltip_private:string ->
?icon:GObj.widget ->
?pos:int -> ?callback:(unit -> unit) -> unit -> GButton.button
method insert_radio_button :
?text:string ->
?tooltip:string ->
?tooltip_private:string ->
?icon:GObj.widget ->
?pos:int -> ?callback:(unit -> unit) -> unit -> GButton.radio_button
method insert_space : ?pos:int -> unit -> unit
method insert_toggle_button :
?text:string ->
?tooltip:string ->
?tooltip_private:string ->
?icon:GObj.widget ->
?pos:int -> ?callback:(unit -> unit) -> unit -> GButton.toggle_button
method insert_widget :
?tooltip:string ->
?tooltip_private:string -> ?pos:int -> GObj.widget -> unit
method misc : GObj.misc_ops
method orientation : Gtk.Tags.orientation
method relief_style : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_drop_highlight_item :
(#GButton.tool_item_o * int) option -> unit
method set_icon_size : Gtk.Tags.icon_size -> unit
method set_orientation : Gtk.Tags.orientation -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_show_arrow : bool -> unit
method set_style : Gtk.Tags.toolbar_style -> unit
method set_tooltips : bool -> unit
method show_arrow : bool
method style : Gtk.Tags.toolbar_style
method unset_icon_size : unit -> unit
method unset_style : unit -> unit
end
val toolbar :
?orientation:Gtk.Tags.orientation ->
?style:Gtk.Tags.toolbar_style ->
?tooltips:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GButton.toolbar
class tool_item_skel :
([> Gtk.tool_item ] as 'a) Gtk.obj ->
object
val obj : 'a 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 is_important : bool
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_is_important : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_tooltip : GData.tooltips -> string -> string -> unit
method set_use_drag_window : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method visible_horizontal : bool
method visible_vertical : bool
end
class tool_item :
([> Gtk.tool_item ] as 'a) Gtk.obj ->
object
val obj : 'a 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 connect : GContainer.container_signals
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 is_important : bool
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_is_important : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_tooltip : GData.tooltips -> string -> string -> unit
method set_use_drag_window : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method visible_horizontal : bool
method visible_vertical : bool
end
val tool_item :
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.tool_item
class separator_tool_item :
([> Gtk.separator_tool_item ] as 'a) Gtk.obj ->
object
val obj : 'a 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 connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method draw : bool
method focus : GContainer.focus
method get_expand : bool
method get_homogeneous : bool
method get_oid : int
method get_use_drag_window : bool
method is_important : bool
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_draw : bool -> unit
method set_expand : bool -> unit
method set_homogeneous : bool -> unit
method set_is_important : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_tooltip : GData.tooltips -> string -> string -> unit
method set_use_drag_window : bool -> unit
method set_visible_horizontal : bool -> unit
method set_visible_vertical : bool -> unit
method visible_horizontal : bool
method visible_vertical : bool
end
val separator_tool_item :
?draw:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.separator_tool_item
class tool_button_signals :
([> Gtk.tool_button ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'b
method clicked : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class tool_button_skel :
([> 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 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
class tool_button :
([> 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 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 connect : GButton.tool_button_signals
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
val tool_button :
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.tool_button
class toggle_tool_button_signals :
([> Gtk.toggle_tool_button ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'b
method clicked : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method toggled : callback:(unit -> unit) -> GtkSignal.id
end
class toggle_tool_button :
([> Gtk.toggle_tool_button ] as 'a) Gtk.obj ->
object
val obj : 'a 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 connect : GButton.toggle_tool_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_active : bool
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_active : bool -> unit
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
val toggle_tool_button :
?active:bool ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.toggle_tool_button
class radio_tool_button :
([> Gtk.radio_tool_button ] as 'a) Gtk.obj ->
object
val obj : 'a 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 connect : toggle_tool_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_active : bool
method get_expand : bool
method get_homogeneous : bool
method get_oid : int
method get_use_drag_window : bool
method group : Gtk.radio_tool_button Gtk.group
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_active : bool -> unit
method set_border_width : int -> unit
method set_expand : bool -> unit
method set_group : Gtk.radio_tool_button Gtk.group -> 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
val radio_tool_button :
?group:GButton.radio_tool_button ->
?active:bool ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.radio_tool_button
class menu_tool_button :
([> Gtk.menu_tool_button ] as 'a) Gtk.obj ->
object
val obj : 'a 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 connect : tool_button_signals
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 menu : Gtk.menu Gtk.obj
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_arrow_tooltip : GData.tooltips -> string -> string -> unit
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_menu : Gtk.menu Gtk.obj -> 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
val menu_tool_button :
?menu:< as_menu : Gtk.menu Gtk.obj; .. > ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(GButton.tool_item_o -> unit) ->
?show:bool -> unit -> GButton.menu_tool_button
class link_button :
([> Gtk.link_button ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
method image : GObj.widget
method image_position : GtkEnums.position_type
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_border_width : int -> unit
method set_focus_on_click : bool -> unit
method set_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_uri : string -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method unset_image : unit -> unit
method uri : string
method use_stock : bool
method use_underline : bool
method xalign : float
method yalign : float
end
val link_button :
?label:string ->
string ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.link_button
end`