helm/DEVEL/lablgtk/lablgtk_20000829-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