]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMenu.mli
- DoubleTypeInference.does_not_occur exposed
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gMenu.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5 open GContainer
6
7 class menu_shell_signals : 'b obj ->
8   object ('a)
9     inherit container_signals
10     constraint 'b = [>`menushell|`container|`widget]
11     val obj : 'b obj
12     method deactivate : callback:(unit -> unit) -> GtkSignal.id
13   end
14
15 class menu_item_signals : 'b obj ->
16   object ('a)
17     inherit item_signals
18     constraint 'b = [>`menuitem|`container|`item|`widget]
19     val obj : 'b obj
20     method activate : callback:(unit -> unit) -> GtkSignal.id
21   end
22
23 class menu_item_skel :
24   'a obj ->
25   object
26     inherit container
27     constraint 'a = [>`widget|`container|`menuitem]
28     val obj : 'a obj
29     method activate : unit -> unit
30     method add_accelerator :
31       group:accel_group ->
32       ?modi:Gdk.Tags.modifier list ->
33       ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
34     method as_item : Gtk.menu_item obj
35     method configure : show_toggle:bool -> show_indicator:bool -> unit
36     method remove_submenu : unit -> unit
37     method right_justify : unit -> unit
38     method set_submenu : menu -> unit
39   end
40 and menu_item : 'a obj ->
41   object
42     inherit menu_item_skel
43     constraint 'a = [>`widget|`container|`item|`menuitem]
44     val obj : 'a obj
45     method event : event_ops
46     method connect : menu_item_signals
47   end
48 and menu : Gtk.menu obj ->
49   object
50     inherit [menu_item] item_container
51     val obj : Gtk.menu obj
52     method add : menu_item -> unit
53     method event : event_ops
54     method append : menu_item -> unit
55     method as_menu : Gtk.menu obj
56     method children : menu_item list
57     method connect : menu_shell_signals
58     method deactivate : unit -> unit
59     method insert : menu_item -> pos:int -> unit
60     method popdown : unit -> unit
61     method popup : button:int -> time:int -> unit
62     method prepend : menu_item -> unit
63     method remove : menu_item -> unit
64     method set_accel_group : accel_group -> unit
65     method set_border_width : int -> unit
66     method private wrap : Gtk.widget obj -> menu_item
67   end
68
69 val menu :
70   ?border_width:int -> ?packing:(menu -> unit) -> ?show:bool -> unit -> menu
71 val menu_item :
72   ?label:string ->
73   ?border_width:int ->
74   ?width:int ->
75   ?height:int ->
76   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
77 val tearoff_item :
78   ?border_width:int ->
79   ?width:int ->
80   ?height:int ->
81   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
82
83 class check_menu_item_signals : 'a obj ->
84   object
85     inherit menu_item_signals
86     constraint 'a = [>`checkmenuitem|`container|`item|`menuitem|`widget]
87     val obj : 'a obj
88     method toggled : callback:(unit -> unit) -> GtkSignal.id
89   end
90
91 class check_menu_item : 'a obj ->
92   object
93     inherit menu_item_skel
94     constraint 'a = [>`widget|`checkmenuitem|`container|`item|`menuitem]
95     val obj : 'a obj
96     method active : bool
97     method event : event_ops
98     method connect : check_menu_item_signals
99     method set_active : bool -> unit
100     method set_show_toggle : bool -> unit
101     method toggled : unit -> unit
102   end
103 val check_menu_item :
104   ?label:string ->
105   ?active:bool ->
106   ?show_toggle:bool ->
107   ?border_width:int ->
108   ?width:int ->
109   ?height:int ->
110   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> check_menu_item
111
112 class radio_menu_item : Gtk.radio_menu_item obj ->
113   object
114     inherit check_menu_item
115     val obj : Gtk.radio_menu_item obj
116     method group : Gtk.radio_menu_item group
117     method set_group : Gtk.radio_menu_item group -> unit
118   end
119 val radio_menu_item :
120   ?group:Gtk.radio_menu_item group ->
121   ?label:string ->
122   ?active:bool ->
123   ?show_toggle:bool ->
124   ?border_width:int ->
125   ?width:int ->
126   ?height:int ->
127   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> radio_menu_item
128
129 class menu_shell : 'a obj ->
130   object
131     inherit [menu_item] item_container
132     constraint 'a = [>`widget|`container|`menushell]
133     val obj : 'a obj
134     method event : event_ops
135     method deactivate : unit -> unit
136     method connect : menu_shell_signals
137     method insert : menu_item -> pos:int -> unit
138     method private wrap : Gtk.widget obj -> menu_item
139   end
140
141 val menu_bar :
142   ?border_width:int ->
143   ?width:int ->
144   ?height:int ->
145   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> menu_shell
146
147 class option_menu : 'a obj ->
148   object
149     inherit GButton.button_skel
150     constraint 'a = [>`optionmenu|`button|`container|`widget]
151     val obj : 'a obj
152     method event : event_ops
153     method connect : GButton.button_signals
154     method get_menu : menu
155     method remove_menu : unit -> unit
156     method set_history : int -> unit
157     method set_menu : menu -> unit
158   end
159 val option_menu :
160   ?border_width:int ->
161   ?width:int ->
162   ?height:int ->
163   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> option_menu
164
165 class ['a] factory :
166   ?accel_group:accel_group ->
167   ?accel_modi:Gdk.Tags.modifier list ->
168   ?accel_flags:Tags.accel_flag list ->
169   'a ->
170   object
171     constraint 'a = #menu_shell
172     val flags : Tags.accel_flag list
173     val group : accel_group
174     val m : Gdk.Tags.modifier list
175     val menu_shell : 'a
176     method accel_group : accel_group
177     method add_check_item :
178       ?active:bool ->
179       ?key:Gdk.keysym ->
180       ?callback:(bool -> unit) -> string -> check_menu_item
181     method add_item :
182       ?key:Gdk.keysym ->
183       ?callback:(unit -> unit) ->
184       ?submenu:menu -> string -> menu_item
185     method add_radio_item :
186       ?group:Gtk.radio_menu_item group ->
187       ?active:bool ->
188       ?key:Gdk.keysym ->
189       ?callback:(bool -> unit) -> string -> radio_menu_item
190     method add_separator : unit -> menu_item
191     method add_submenu : ?key:Gdk.keysym -> string -> menu
192     method add_tearoff : unit -> menu_item
193     method private bind :
194       ?key:Gdk.keysym -> ?callback:(unit -> unit) -> menu_item -> unit
195     method menu : 'a
196   end