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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glGtk.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glGtk.mli
deleted file mode 100644
index 599f24a09..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glGtk.mli
+++ /dev/null
@@ -1,63 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GObj
-
-type visual_options = [
-    `USE_GL
-  | `BUFFER_SIZE of int
-  | `LEVEL of int
-  | `RGBA
-  | `DOUBLEBUFFER
-  | `STEREO
-  | `AUX_BUFFERS of int
-  | `RED_SIZE of int
-  | `GREEN_SIZE of int
-  | `BLUE_SIZE of int
-  | `ALPHA_SIZE of int
-  | `DEPTH_SIZE of int
-  | `STENCIL_SIZE of int
-  | `ACCUM_GREEN_SIZE of int
-  | `ACCUM_ALPHA_SIZE of int
-]
-type gl_area = [`widget|`drawing|`glarea]
-
-module Raw :
-  sig
-    external create :
-      visual_options list -> share:[>`glarea] optobj -> gl_area obj
-      = "ml_gtk_gl_area_new"
-    external swap_buffers : [>`glarea] obj -> unit
-      = "ml_gtk_gl_area_swapbuffers"
-    external make_current : [>`glarea] obj -> bool
-      = "ml_gtk_gl_area_make_current"
-  end
-
-class area_signals : 'a obj ->
-  object
-    inherit widget_signals
-    constraint 'a = [>`glarea|`widget]
-    val obj : 'a obj
-    method display : callback:(unit -> unit) -> GtkSignal.id
-    method realize : callback:(unit -> unit) -> GtkSignal.id
-    method reshape :
-      callback:(width:int -> height:int -> unit) -> GtkSignal.id
-  end
-
-class area : gl_area obj ->
-  object
-    inherit widget
-    val obj : gl_area obj
-    method event : event_ops
-    method as_area : gl_area obj
-    method connect : area_signals
-    method make_current : unit -> unit
-    method set_size : width:int -> height:int -> unit
-    method swap_buffers : unit -> unit
-  end
-
-val area :
-  visual_options list ->
-  ?share:area ->
-  ?width:int ->
-  ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> area