helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gButton.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 class button_skel :
   8   'a obj ->
   9   object
  10     inherit container
  11     constraint 'a = [>`widget|`button|`container]
  12     val obj : 'a obj
  13     method clicked : unit -> unit
  14     method grab_default : unit -> unit
  15   end
  16 class button_signals :
  17   'b obj ->
  18   object ('a)
  19     inherit container_signals
  20     constraint 'b = [>`button|`container|`widget]
  21     val obj : 'b obj
  22     method clicked : callback:(unit -> unit) -> GtkSignal.id
  23     method enter : callback:(unit -> unit) -> GtkSignal.id
  24     method leave : callback:(unit -> unit) -> GtkSignal.id
  25     method pressed : callback:(unit -> unit) -> GtkSignal.id
  26     method released : callback:(unit -> unit) -> GtkSignal.id
  27   end
  28
  29 class button :
  30   [>`button] obj ->
  31   object
  32     inherit button_skel
  33     val obj : Gtk.button obj
  34     method event : event_ops
  35     method connect : button_signals
  36   end
  37 val button :
  38   ?label:string ->
  39   ?border_width:int ->
  40   ?width:int ->
  41   ?height:int ->
  42   ?packing:(widget -> unit) -> ?show:bool -> unit -> button
  43
  44 class toggle_button_signals :
  45   'b obj ->
  46   object ('a)
  47     inherit button_signals
  48     constraint 'b = [>`toggle|`button|`container|`widget]
  49     val obj : 'b obj
  50     method toggled : callback:(unit -> unit) -> GtkSignal.id
  51   end
  52
  53 class toggle_button :
  54   'a obj ->
  55   object
  56     inherit button_skel
  57     constraint 'a = [>`toggle|`button|`container|`widget]
  58     val obj : 'a obj
  59     method active : bool
  60     method connect : toggle_button_signals
  61     method set_active : bool -> unit
  62     method set_draw_indicator : bool -> unit
  63   end
  64 val toggle_button :
  65   ?label:string ->
  66   ?active:bool ->
  67   ?draw_indicator:bool ->
  68   ?border_width:int ->
  69   ?width:int ->
  70   ?height:int ->
  71   ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
  72 val check_button :
  73   ?label:string ->
  74   ?active:bool ->
  75   ?draw_indicator:bool ->
  76   ?border_width:int ->
  77   ?width:int ->
  78   ?height:int ->
  79   ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
  80
  81 class radio_button :
  82   Gtk.radio_button obj ->
  83   object
  84     inherit toggle_button
  85     val obj : Gtk.radio_button obj
  86     method group : Gtk.radio_button group
  87     method set_group : Gtk.radio_button group -> unit
  88   end
  89 val radio_button :
  90   ?group:Gtk.radio_button group ->
  91   ?label:string ->
  92   ?active:bool ->
  93   ?draw_indicator:bool ->
  94   ?border_width:int ->
  95   ?width:int ->
  96   ?height:int ->
  97   ?packing:(widget -> unit) -> ?show:bool -> unit -> radio_button
  98
  99 class toolbar :
 100   Gtk.toolbar obj ->
 101   object
 102     inherit container_full
 103     val obj : Gtk.toolbar obj
 104     method button_relief : Tags.relief_style
 105     method insert_button :
 106       ?text:string ->
 107       ?tooltip:string ->
 108       ?tooltip_private:string ->
 109       ?icon:widget ->
 110       ?pos:int -> ?callback:(unit -> unit) -> unit -> button
 111     method insert_radio_button :
 112       ?text:string ->
 113       ?tooltip:string ->
 114       ?tooltip_private:string ->
 115       ?icon:widget ->
 116       ?pos:int -> ?callback:(unit -> unit) -> unit -> radio_button
 117     method insert_space : ?pos:int -> unit -> unit
 118     method insert_toggle_button :
 119       ?text:string ->
 120       ?tooltip:string ->
 121       ?tooltip_private:string ->
 122       ?icon:widget ->
 123       ?pos:int -> ?callback:(unit -> unit) -> unit -> toggle_button
 124     method insert_widget :
 125       ?tooltip:string ->
 126       ?tooltip_private:string -> ?pos:int -> widget -> unit
 127     method set_button_relief : Tags.relief_style -> unit
 128     method set_orientation : Tags.orientation -> unit
 129     method set_space_size : int -> unit
 130     method set_space_style : [`EMPTY|`LINE] -> unit
 131     method set_style : Tags.toolbar_style -> unit
 132     method set_tooltips : bool -> unit
 133   end
 134 val toolbar :
 135   ?orientation:Tags.orientation ->
 136   ?style:Tags.toolbar_style ->
 137   ?space_size:int ->
 138   ?space_style:[`EMPTY|`LINE] ->
 139   ?tooltips:bool ->
 140   ?button_relief:Tags.relief_style ->
 141   ?border_width:int ->
 142   ?width:int ->
 143   ?height:int ->
 144   ?packing:(widget -> unit) -> ?show:bool -> unit -> toolbar