]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMisc.mli
.cvsignore files missing
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gMisc.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5 open GContainer
6
7 val separator :
8   Tags.orientation ->
9   ?width:int ->
10   ?height:int ->
11   ?packing:(widget -> unit) -> ?show:bool -> unit -> widget_full
12
13 class statusbar_context :
14   Gtk.statusbar obj -> Gtk.statusbar_context ->
15   object
16     val context : Gtk.statusbar_context
17     val obj : Gtk.statusbar obj
18     method context : Gtk.statusbar_context
19     method flash : ?delay:int -> string -> unit
20     method pop : unit -> unit
21     method push : string -> statusbar_message
22     method remove : statusbar_message -> unit
23   end
24
25 class statusbar : Gtk.statusbar obj ->
26   object
27     inherit container_full
28     val obj : Gtk.statusbar obj
29     method new_context : name:string -> statusbar_context
30   end
31 val statusbar :
32   ?border_width:int ->
33   ?width:int ->
34   ?height:int ->
35   ?packing:(widget -> unit) -> ?show:bool -> unit -> statusbar
36
37 class calendar_signals : 'a obj ->
38   object
39     inherit widget_signals
40     constraint 'a = [>`calendar|`widget]
41     val obj : 'a obj
42     method day_selected : callback:(unit -> unit) -> GtkSignal.id
43     method day_selected_double_click :
44       callback:(unit -> unit) -> GtkSignal.id
45     method month_changed : callback:(unit -> unit) -> GtkSignal.id
46     method next_month : callback:(unit -> unit) -> GtkSignal.id
47     method next_year : callback:(unit -> unit) -> GtkSignal.id
48     method prev_month : callback:(unit -> unit) -> GtkSignal.id
49     method prev_year : callback:(unit -> unit) -> GtkSignal.id
50   end
51
52 class calendar : Gtk.calendar obj ->
53   object
54     inherit widget
55     val obj : Gtk.calendar obj
56     method event : event_ops
57     method clear_marks : unit
58     method connect : calendar_signals
59     method date : int * int * int
60     method display_options : Tags.calendar_display_options list -> unit
61     method freeze : unit -> unit
62     method mark_day : int -> unit
63     method select_day : int -> unit
64     method select_month : month:int -> year:int -> unit
65     method thaw : unit -> unit
66     method unmark_day : int -> unit
67   end
68 val calendar :
69   ?options:Tags.calendar_display_options list ->
70   ?width:int ->
71   ?height:int ->
72   ?packing:(widget -> unit) -> ?show:bool -> unit -> calendar
73
74 class drawing_area : Gtk.drawing_area obj ->
75   object
76     inherit widget_full
77     val obj : Gtk.drawing_area obj
78     method event : event_ops
79     method set_size : width:int -> height:int -> unit
80   end
81 val drawing_area :
82   ?width:int ->
83   ?height:int ->
84   ?packing:(widget -> unit) -> ?show:bool -> unit -> drawing_area
85
86 class misc : 'a obj ->
87   object
88     inherit widget
89     constraint 'a = [>`misc|`widget]
90     val obj : 'a obj
91     method set_alignment : ?x:float -> ?y:float -> unit -> unit
92     method set_padding : ?x:int -> ?y:int -> unit -> unit
93   end
94
95 class arrow : 'a obj ->
96   object
97     inherit misc
98     constraint 'a = [>`arrow|`misc|`widget]
99     val obj : 'a obj
100     method set_arrow : Tags.arrow_type -> shadow:Tags.shadow_type -> unit
101   end
102
103 val arrow :
104   kind:Tags.arrow_type ->
105   shadow:Tags.shadow_type ->
106   ?xalign:float ->
107   ?yalign:float ->
108   ?xpad:int ->
109   ?ypad:int ->
110   ?width:int ->
111   ?height:int ->
112   ?packing:(widget -> unit) -> ?show:bool -> unit -> arrow
113
114 class image : 'a obj ->
115   object
116     inherit misc
117     constraint 'a = [>`image|`misc|`widget]
118     val obj : 'a obj
119     method set_image : ?mask:Gdk.bitmap -> Gdk.image -> unit
120   end
121
122 val image :
123   Gdk.image ->
124   ?mask:Gdk.bitmap ->
125   ?xalign:float ->
126   ?yalign:float ->
127   ?xpad:int ->
128   ?ypad:int ->
129   ?width:int ->
130   ?height:int ->
131   ?packing:(widget -> unit) -> ?show:bool -> unit -> image
132
133 class label_skel : 'a obj ->
134   object
135     inherit misc
136     constraint 'a = [>`label|`misc|`widget]
137     val obj : 'a obj
138     method set_justify : Tags.justification -> unit
139     method set_line_wrap : bool -> unit
140     method set_pattern : string -> unit
141     method set_text : string -> unit
142     method text : string
143   end
144
145 class label : [>`label] obj ->
146   object
147     inherit label_skel
148     val obj : Gtk.label obj
149     method connect : widget_signals
150   end
151 val label :
152   ?text:string ->
153   ?justify:Tags.justification ->
154   ?line_wrap:bool ->
155   ?pattern:string ->
156   ?xalign:float ->
157   ?yalign:float ->
158   ?xpad:int ->
159   ?ypad:int ->
160   ?width:int ->
161   ?height:int ->
162   ?packing:(widget -> unit) -> ?show:bool -> unit -> label
163 val label_cast : < as_widget : 'a obj ; .. > -> label
164
165 class tips_query_signals : 'a obj ->
166   object
167     inherit widget_signals
168     constraint 'a = [>`tipsquery|`widget]
169     val obj : 'a obj
170     method widget_entered :
171       callback:(widget option ->
172                 text:string option -> privat:string option -> unit) ->
173       GtkSignal.id
174     method widget_selected :
175       callback:(widget option -> text:string option ->
176                 privat:string option -> GdkEvent.Button.t option -> bool) ->
177       GtkSignal.id
178   end
179
180 class tips_query : Gtk.tips_query obj ->
181   object
182     inherit label_skel
183     val obj : Gtk.tips_query obj
184     method connect : tips_query_signals
185     method set_caller : widget -> unit
186     method set_emit_always : bool -> unit
187     method set_label_inactive : string -> unit
188     method set_label_no_tip : string -> unit
189     method start : unit -> unit
190     method stop : unit -> unit
191   end
192 val tips_query :
193   ?caller:#widget ->
194   ?emit_always:bool ->
195   ?label_inactive:string ->
196   ?label_no_tip:string ->
197   ?xalign:float ->
198   ?yalign:float ->
199   ?xpad:int ->
200   ?ypad:int ->
201   ?width:int ->
202   ?height:int ->
203   ?packing:(widget -> unit) -> ?show:bool -> unit -> tips_query
204
205 class pixmap : Gtk.pixmap Gtk.obj ->
206   object
207     inherit misc
208     val obj : Gtk.pixmap Gtk.obj
209     method connect : GObj.widget_signals
210     method pixmap : GDraw.pixmap
211     method set_pixmap : GDraw.pixmap -> unit
212   end
213 val pixmap :
214   #GDraw.pixmap ->
215   ?xalign:float ->
216   ?yalign:float ->
217   ?xpad:int ->
218   ?ypad:int ->
219   ?width:int ->
220   ?height:int ->
221   ?packing:(widget -> unit) -> ?show:bool -> unit -> pixmap
222
223 class color_selection : Gtk.color_selection obj ->
224   object
225     inherit widget_full
226     val obj : Gtk.color_selection obj
227     method get_color : Gtk.color
228     method set_color :
229       red:float -> green:float -> blue:float -> ?opacity:float -> unit -> unit
230     method set_opacity : bool -> unit
231     method set_update_policy : Tags.update_type -> unit
232   end
233 val color_selection :
234   ?border_width:int ->
235   ?width:int ->
236   ?height:int ->
237   ?packing:(widget -> unit) -> ?show:bool -> unit -> color_selection
238
239 class font_selection : Gtk.font_selection obj ->
240   object
241     inherit widget_full
242     val obj : Gtk.font_selection obj
243     method event : event_ops
244     method notebook : GPack.notebook
245     method font : Gdk.font option
246     method font_name : string option
247     method preview_text : string
248     method set_filter :
249       ?kind:Tags.font_type list ->
250       ?foundry:string list ->
251       ?weight:string list ->
252       ?slant:string list ->
253       ?setwidth:string list ->
254       ?spacing:string list ->
255       ?charset:string list -> Tags.font_filter_type -> unit
256     method set_font_name : string -> unit
257     method set_preview_text : string -> unit
258   end
259 val font_selection :
260   ?border_width:int ->
261   ?width:int ->
262   ?height:int ->
263   ?packing:(widget -> unit) -> ?show:bool -> unit -> font_selection