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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkgl.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkgl.c
deleted file mode 100644
index 5e0efd718..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkgl.c
+++ /dev/null
@@ -1,54 +0,0 @@
-/* $Id$ */
-
-#include <gtk/gtk.h>
-#include <gtkgl/gtkglarea.h>
-#include <caml/mlvalues.h>
-#include <caml/alloc.h>
-#include <caml/memory.h>
-#include <caml/callback.h>
-#include <caml/fail.h>
-
-#include "wrappers.h"
-#include "ml_glib.h"
-#include "ml_gdk.h"
-#include "ml_gtk.h"
-#include "gtkgl_tags.h"
-
-/* Conversion functions */
-#include "gtkgl_tags.c"
-
-#define GtkGLArea_val(val) ((GtkGLArea*)GtkObject_val(val))
-
-value ml_gtk_gl_area_new (value list, value share)
-{
-    value cursor, res;
-    int len, i;
-    int *attrs;
-
-    for (len = 0, cursor = list; cursor != Val_unit; cursor = Field(cursor,1))
-    {
-	if (Is_block(Field(cursor,0))) len += 2;
-	else len++;
-    }
-
-    attrs = (int*) stat_alloc ((len+1)*sizeof(int));
-    
-    for (i = 0, cursor = list; cursor != Val_unit; cursor = Field(cursor,1))
-    {
-	value option = Field(cursor,0);
-	if (Is_block(option)) {
-	    attrs[i++] = Visual_options_val(Field(option,0));
-	    attrs[i++] = Int_val(Field(option,1));
-	}
-	else attrs[i++] = Visual_options_val(option);
-    }
-    attrs[i] = GDK_GL_NONE;
-
-    res = Val_GtkObject
-	((GtkObject*)gtk_gl_area_share_new(attrs,GtkGLArea_val(share)));
-    stat_free(attrs);
-    return res;
-}
-
-ML_1 (gtk_gl_area_make_current, GtkGLArea_val, Val_bool)
-ML_1 (gtk_gl_area_swapbuffers, GtkGLArea_val, Unit)