helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gContainer.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5
   6 class focus :
   7   'a obj ->
   8   object
   9     constraint 'a = [>`container]
  10     val obj : 'a obj
  11     method circulate : Tags.direction_type -> bool
  12     method set : widget option -> unit
  13     method set_hadjustment : GData.adjustment option -> unit
  14     method set_vadjustment : GData.adjustment option -> unit
  15   end
  16
  17 class container :
  18   'a obj ->
  19   object
  20     inherit widget
  21     constraint 'a = [>`container|`widget]
  22     val obj : 'a obj
  23     method add : widget -> unit
  24     method children : widget list
  25     method remove : widget -> unit
  26     method focus : focus
  27     method set_border_width : int -> unit
  28   end
  29
  30 class container_signals :
  31   'a obj ->
  32   object
  33     inherit widget_signals
  34     constraint 'a = [>`container|`widget]
  35     val obj : 'a obj
  36     method add : callback:(widget -> unit) -> GtkSignal.id
  37     method remove : callback:(widget -> unit) -> GtkSignal.id
  38   end
  39
  40 class container_full :
  41   'a obj ->
  42   object
  43     inherit container
  44     constraint 'a = [>`container|`widget]
  45     val obj : 'a obj
  46     method connect : container_signals
  47   end
  48
  49 val cast_container : widget -> container_full
  50 (* may raise [Gtk.Cannot_cast "GtkContainer"] *)
  51
  52 class virtual ['a] item_container :
  53   'c obj ->
  54   object
  55     constraint 'a = < as_item : [>`widget] obj; .. >
  56     constraint 'c = [>`container|`widget]
  57     inherit widget
  58     val obj : 'c obj
  59     method add : 'a -> unit
  60     method append : 'a -> unit
  61     method children : 'a list
  62     method virtual insert : 'a -> pos:int -> unit
  63     method prepend : 'a -> unit
  64     method remove : 'a -> unit
  65     method focus : focus
  66     method set_border_width : int -> unit
  67     method private virtual wrap : Gtk.widget obj -> 'a
  68   end
  69
  70 class item_signals :
  71   'a obj ->
  72   object
  73     inherit container_signals
  74     constraint 'a = [>`container|`item|`widget]
  75     val obj : 'a obj
  76     method deselect : callback:(unit -> unit) -> GtkSignal.id
  77     method select : callback:(unit -> unit) -> GtkSignal.id
  78     method toggle : callback:(unit -> unit) -> GtkSignal.id
  79   end