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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method connect : GButton.button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method connect : GButton.toggle_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_active : bool -> unit
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_draw_indicator : 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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method connect : toggle_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
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 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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_active : bool -> unit
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_draw_indicator : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_group : Gtk.radio_button Gtk.group -> 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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method color : Gdk.color
method composite_child : bool
method connect : GButton.color_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method rgba : Gdk.rgba
method scale_factor : int
method sensitive : bool
method set_alpha : int -> unit
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_color : Gdk.color -> 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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_rgba : Gdk.rgba -> unit
method set_sensitive : bool -> unit
method set_show_editor : bool -> unit
method set_style : Gtk.style -> unit
method set_title : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_alpha : bool -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method show_editor : bool
method style : Gtk.style
method title : string
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_alpha : bool
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : float
method yalign : float
end
val color_button :
?color:Gdk.color ->
?rgba:Gdk.rgba ->
?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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method connect : GButton.font_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method font_name : string
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
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_font_name : string -> 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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_show_size : bool -> unit
method set_show_style : bool -> unit
method set_style : Gtk.style -> unit
method set_title : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : 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_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method show_size : bool
method show_style : bool
method style : Gtk.style
method title : string
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method use_font : bool
method use_size : bool
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
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_icon_size :
callback:(GtkEnums.icon_size -> unit) -> GtkSignal.id
method notify_icon_size_set : callback:(bool -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_show_arrow : callback:(bool -> unit) -> GtkSignal.id
method notify_toolbar_style :
callback:(GtkEnums.toolbar_style -> 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 app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GButton.toolbar_signals
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_drop_index : int -> int -> int
method get_item_index : Gtk.tool_item Gtk.obj -> int
method get_n_items : int
method get_nth_item : int -> [ `toolitem ] Gtk.obj
method get_oid : int
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_size : Gtk.Tags.icon_size
method icon_size_set : bool
method insert : ?pos:int -> #GButton.tool_item_o -> unit
method is_focus : bool
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 orientation : Gtk.Tags.orientation
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method relief_style : Gtk.Tags.relief_style
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_drop_highlight_item :
(#GButton.tool_item_o * int) option -> 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_icon_size : Gtk.Tags.icon_size -> unit
method set_icon_size_set : bool -> unit
method set_is_focus : bool -> 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_orientation : Gtk.Tags.orientation -> 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_show_arrow : bool -> unit
method set_style : Gtk.style -> unit
method set_toolbar_style : Gtk.Tags.toolbar_style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> 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_width_request : int -> unit
method show_arrow : bool
method style : Gtk.style
method toolbar_style : Gtk.Tags.toolbar_style
method tooltip_markup : string
method tooltip_text : string
method unset_style : unit
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val toolbar :
?orientation:Gtk.Tags.orientation ->
?style:Gtk.Tags.toolbar_style ->
?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 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 is_focus : bool
method is_important : bool
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_is_focus : bool -> unit
method set_is_important : bool -> 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_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_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 style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
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
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 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 connect : GContainer.container_signals
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 is_focus : bool
method is_important : bool
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_is_focus : bool -> unit
method set_is_important : bool -> 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_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_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 style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
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
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 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 connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method draw : bool
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 is_focus : bool
method is_important : bool
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_draw : 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_is_focus : bool -> unit
method set_is_important : bool -> 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_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_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 style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
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
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 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
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 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 connect : GButton.tool_button_signals
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
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 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 connect : GButton.toggle_tool_button_signals
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_active : 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_active : bool -> unit
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
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 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 connect : toggle_tool_button_signals
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_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 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_active : bool -> unit
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_group : Gtk.radio_tool_button Gtk.group -> 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
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 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 connect : tool_button_signals
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 menu : Gtk.menu Gtk.obj
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_menu : Gtk.menu Gtk.obj -> 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
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_signals :
([> Gtk.link_button ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method activate_link : callback:(unit -> unit) -> GtkSignal.id
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 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 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 app_paintable : bool
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 clicked : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method connect : GButton.link_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method grab_default : unit -> unit
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 image : GObj.widget
method image_position : GtkEnums.position_type
method is_focus : bool
method label : string
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 relief : Gtk.Tags.relief_style
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_image : GObj.widget -> unit
method set_image_position : GtkEnums.position_type -> unit
method set_is_focus : bool -> unit
method set_label : string -> 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_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_uri : string -> unit
method set_use_stock : 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_width_request : int -> unit
method set_xalign : float -> unit
method set_yalign : float -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unset_image : unit -> unit
method uri : string
method use_stock : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : float
method yalign : float
end
val link_button :
?label:string ->
string ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GButton.link_button
end