]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gButton.mli
* implemented a more efficient selection to avoid flickering
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-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