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