(* $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