]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.ml
.cvsignore files missing
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gData.ml
1 (* $Id$ *)
2
3 open Gaux
4 open Gtk
5 open GtkData
6 open GObj
7
8 class data_signals obj = object
9   inherit gtkobj_signals obj
10   method disconnect_data =
11     GtkSignal.connect ~sgn:Data.Signals.disconnect obj ~after
12 end
13
14 class adjustment_signals obj = object
15   inherit data_signals obj
16   method changed = GtkSignal.connect ~sgn:Adjustment.Signals.changed obj ~after
17   method value_changed =
18     GtkSignal.connect ~sgn:Adjustment.Signals.value_changed obj ~after
19 end
20
21 class adjustment obj = object
22   inherit gtkobj obj
23   method as_adjustment : Gtk.adjustment obj = obj
24   method connect = new adjustment_signals obj
25   method set_value = Adjustment.set_value obj
26   method clamp_page = Adjustment.clamp_page obj
27   method lower = Adjustment.get_lower obj
28   method upper = Adjustment.get_upper obj
29   method value = Adjustment.get_value obj
30   method step_increment = Adjustment.get_step_increment obj
31   method page_increment = Adjustment.get_page_increment obj
32   method page_size = Adjustment.get_page_size obj
33 end
34
35 let adjustment ?(value=0.) ?(lower=0.) ?(upper=100.)
36     ?(step_incr=1.) ?(page_incr=10.) ?(page_size=10.) () =
37   let w =
38     Adjustment.create ~value ~lower ~upper ~step_incr ~page_incr ~page_size in
39   new adjustment w
40
41 let as_adjustment (adj : adjustment) = adj#as_adjustment
42
43 class tooltips obj = object
44   inherit gtkobj (obj : Gtk.tooltips obj)
45   method as_tooltips = obj
46   method connect = new data_signals obj
47   method enable () = Tooltips.enable obj
48   method disable () = Tooltips.disable obj
49   method set_tip ?text ?privat w =
50     Tooltips.set_tip obj (as_widget w) ?text ?privat
51   method set_delay = Tooltips.set_delay obj
52 end
53
54 let tooltips ?delay () =
55   let tt = Tooltips.create () in
56   Tooltips.set tt ?delay;
57   new tooltips tt
58
59
60