--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class button_skel :
+ 'a obj ->
+ object
+ inherit container
+ constraint 'a = [>`widget|`button|`container]
+ val obj : 'a obj
+ method clicked : unit -> unit
+ method grab_default : unit -> unit
+ end
+class button_signals :
+ 'b obj ->
+ object ('a)
+ inherit container_signals
+ constraint 'b = [>`button|`container|`widget]
+ val obj : 'b obj
+ method clicked : callback:(unit -> unit) -> GtkSignal.id
+ method enter : callback:(unit -> unit) -> GtkSignal.id
+ method leave : callback:(unit -> unit) -> GtkSignal.id
+ method pressed : callback:(unit -> unit) -> GtkSignal.id
+ method released : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class button :
+ [>`button] obj ->
+ object
+ inherit button_skel
+ val obj : Gtk.button obj
+ method event : event_ops
+ method connect : button_signals
+ end
+val button :
+ ?label:string ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> button
+
+class toggle_button_signals :
+ 'b obj ->
+ object ('a)
+ inherit button_signals
+ constraint 'b = [>`toggle|`button|`container|`widget]
+ val obj : 'b obj
+ method toggled : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class toggle_button :
+ 'a obj ->
+ object
+ inherit button_skel
+ constraint 'a = [>`toggle|`button|`container|`widget]
+ val obj : 'a obj
+ method active : bool
+ method connect : toggle_button_signals
+ method set_active : bool -> unit
+ method set_draw_indicator : bool -> unit
+ end
+val toggle_button :
+ ?label:string ->
+ ?active:bool ->
+ ?draw_indicator:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
+val check_button :
+ ?label:string ->
+ ?active:bool ->
+ ?draw_indicator:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
+
+class radio_button :
+ Gtk.radio_button obj ->
+ object
+ inherit toggle_button
+ val obj : Gtk.radio_button obj
+ method group : Gtk.radio_button group
+ method set_group : Gtk.radio_button group -> unit
+ end
+val radio_button :
+ ?group:Gtk.radio_button group ->
+ ?label:string ->
+ ?active:bool ->
+ ?draw_indicator:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> radio_button
+
+class toolbar :
+ Gtk.toolbar obj ->
+ object
+ inherit container_full
+ val obj : Gtk.toolbar obj
+ method button_relief : Tags.relief_style
+ method insert_button :
+ ?text:string ->
+ ?tooltip:string ->
+ ?tooltip_private:string ->
+ ?icon:widget ->
+ ?pos:int -> ?callback:(unit -> unit) -> unit -> button
+ method insert_radio_button :
+ ?text:string ->
+ ?tooltip:string ->
+ ?tooltip_private:string ->
+ ?icon:widget ->
+ ?pos:int -> ?callback:(unit -> unit) -> unit -> radio_button
+ method insert_space : ?pos:int -> unit -> unit
+ method insert_toggle_button :
+ ?text:string ->
+ ?tooltip:string ->
+ ?tooltip_private:string ->
+ ?icon:widget ->
+ ?pos:int -> ?callback:(unit -> unit) -> unit -> toggle_button
+ method insert_widget :
+ ?tooltip:string ->
+ ?tooltip_private:string -> ?pos:int -> widget -> unit
+ method set_button_relief : Tags.relief_style -> unit
+ method set_orientation : Tags.orientation -> unit
+ method set_space_size : int -> unit
+ method set_space_style : [`EMPTY|`LINE] -> unit
+ method set_style : Tags.toolbar_style -> unit
+ method set_tooltips : bool -> unit
+ end
+val toolbar :
+ ?orientation:Tags.orientation ->
+ ?style:Tags.toolbar_style ->
+ ?space_size:int ->
+ ?space_style:[`EMPTY|`LINE] ->
+ ?tooltips:bool ->
+ ?button_relief:Tags.relief_style ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(widget -> unit) -> ?show:bool -> unit -> toolbar