X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgContainer.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgContainer.mli;h=0000000000000000000000000000000000000000;hp=29098294203e755114255c92ffbbfefdda40cd87;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gContainer.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gContainer.mli
deleted file mode 100644
index 290982942..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gContainer.mli
+++ /dev/null
@@ -1,79 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GObj
-
-class focus :
-  'a obj ->
-  object
-    constraint 'a = [>`container]
-    val obj : 'a obj
-    method circulate : Tags.direction_type -> bool
-    method set : widget option -> unit
-    method set_hadjustment : GData.adjustment option -> unit
-    method set_vadjustment : GData.adjustment option -> unit
-  end
-
-class container :
-  'a obj ->
-  object
-    inherit widget
-    constraint 'a = [>`container|`widget]
-    val obj : 'a obj
-    method add : widget -> unit
-    method children : widget list
-    method remove : widget -> unit
-    method focus : focus
-    method set_border_width : int -> unit
-  end
-
-class container_signals :
-  'a obj ->
-  object
-    inherit widget_signals
-    constraint 'a = [>`container|`widget]
-    val obj : 'a obj
-    method add : callback:(widget -> unit) -> GtkSignal.id
-    method remove : callback:(widget -> unit) -> GtkSignal.id
-  end
-
-class container_full :
-  'a obj ->
-  object
-    inherit container
-    constraint 'a = [>`container|`widget]
-    val obj : 'a obj
-    method connect : container_signals
-  end
-
-val cast_container : widget -> container_full
-(* may raise [Gtk.Cannot_cast "GtkContainer"] *)
-
-class virtual ['a] item_container :
-  'c obj ->
-  object
-    constraint 'a = < as_item : [>`widget] obj; .. >
-    constraint 'c = [>`container|`widget]
-    inherit widget
-    val obj : 'c obj
-    method add : 'a -> unit
-    method append : 'a -> unit
-    method children : 'a list
-    method virtual insert : 'a -> pos:int -> unit
-    method prepend : 'a -> unit
-    method remove : 'a -> unit
-    method focus : focus
-    method set_border_width : int -> unit
-    method private virtual wrap : Gtk.widget obj -> 'a
-  end
-
-class item_signals :
-  'a obj ->
-  object
-    inherit container_signals
-    constraint 'a = [>`container|`item|`widget]
-    val obj : 'a obj
-    method deselect : callback:(unit -> unit) -> GtkSignal.id
-    method select : callback:(unit -> unit) -> GtkSignal.id
-    method toggle : callback:(unit -> unit) -> GtkSignal.id
-  end