]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkgl_tags.var
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gtkgl_tags.var
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkgl_tags.var b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkgl_tags.var
new file mode 100644 (file)
index 0000000..57a9f73
--- /dev/null
@@ -0,0 +1,19 @@
+(* $Id$ *)
+
+type visual_options = "GDK_GL_" [
+  | `USE_GL
+  | `BUFFER_SIZE
+  | `LEVEL
+  | `RGBA
+  | `DOUBLEBUFFER
+  | `STEREO
+  | `AUX_BUFFERS
+  | `RED_SIZE
+  | `GREEN_SIZE
+  | `BLUE_SIZE
+  | `ALPHA_SIZE
+  | `DEPTH_SIZE
+  | `STENCIL_SIZE
+  | `ACCUM_GREEN_SIZE
+  | `ACCUM_ALPHA_SIZE
+]