]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.mli
implemented and exported heal_header_name and heal_header_value
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gData.mli
1 (* $Id$ *)
2
3 open Gtk
4
5 class data_signals :
6   'a obj ->
7   object
8     inherit GObj.gtkobj_signals
9     constraint 'a = [>`data]
10     val obj : 'a obj
11     method disconnect_data : callback:(unit -> unit) -> GtkSignal.id
12   end
13
14 class adjustment_signals :
15   'a obj ->
16   object
17     inherit data_signals
18     constraint 'a = [>`adjustment|`data]
19     val obj : 'a obj
20     method changed : callback:(unit -> unit) -> GtkSignal.id
21     method value_changed : callback:(unit -> unit) -> GtkSignal.id
22   end
23
24 class adjustment : Gtk.adjustment obj ->
25   object
26     inherit GObj.gtkobj
27     val obj : Gtk.adjustment obj
28     method as_adjustment : Gtk.adjustment obj
29     method clamp_page : lower:float -> upper:float -> unit
30     method connect : adjustment_signals
31     method set_value : float -> unit
32     method lower : float
33     method upper : float
34     method value : float
35     method step_increment : float
36     method page_increment : float
37     method page_size : float
38   end
39 val adjustment :
40   ?value:float ->
41   ?lower:float ->
42   ?upper:float ->
43   ?step_incr:float ->
44   ?page_incr:float -> ?page_size:float -> unit -> adjustment
45
46 val as_adjustment : adjustment -> Gtk.adjustment obj
47
48 class tooltips :
49   Gtk.tooltips obj ->
50   object
51     inherit GObj.gtkobj
52     val obj : Gtk.tooltips obj
53     method as_tooltips : Gtk.tooltips obj
54     method connect : data_signals
55     method disable : unit -> unit
56     method enable : unit -> unit
57     method set_delay : int -> unit
58     method set_tip : ?text:string -> ?privat:string -> GObj.widget -> unit
59   end
60 val tooltips : ?delay:int -> unit -> tooltips