(* $Id$ *) open Gaux open Gtk open GtkData open GObj class data_signals obj = object inherit gtkobj_signals obj method disconnect_data = GtkSignal.connect ~sgn:Data.Signals.disconnect obj ~after end class adjustment_signals obj = object inherit data_signals obj method changed = GtkSignal.connect ~sgn:Adjustment.Signals.changed obj ~after method value_changed = GtkSignal.connect ~sgn:Adjustment.Signals.value_changed obj ~after end class adjustment obj = object inherit gtkobj obj method as_adjustment : Gtk.adjustment obj = obj method connect = new adjustment_signals obj method set_value = Adjustment.set_value obj method clamp_page = Adjustment.clamp_page obj method lower = Adjustment.get_lower obj method upper = Adjustment.get_upper obj method value = Adjustment.get_value obj method step_increment = Adjustment.get_step_increment obj method page_increment = Adjustment.get_page_increment obj method page_size = Adjustment.get_page_size obj end let adjustment ?(value=0.) ?(lower=0.) ?(upper=100.) ?(step_incr=1.) ?(page_incr=10.) ?(page_size=10.) () = let w = Adjustment.create ~value ~lower ~upper ~step_incr ~page_incr ~page_size in new adjustment w let as_adjustment (adj : adjustment) = adj#as_adjustment class tooltips obj = object inherit gtkobj (obj : Gtk.tooltips obj) method as_tooltips = obj method connect = new data_signals obj method enable () = Tooltips.enable obj method disable () = Tooltips.disable obj method set_tip ?text ?privat w = Tooltips.set_tip obj (as_widget w) ?text ?privat method set_delay = Tooltips.set_delay obj end let tooltips ?delay () = let tt = Tooltips.create () in Tooltips.set tt ?delay; new tooltips tt