Queue mouse events and process them during expose

[grits] / src / gtkgl.h

diff --git a/src/gtkgl.h b/src/gtkgl.h
index 71ad67a7739c3426e2d80df535e233d906c88e13..c0a8bd6f60bf8de788039f7964c8d397f174a8c5 100644 (file)
--- a/src/gtkgl.h
+++ b/src/gtkgl.h
@@ -21,12 +21,13 @@
 #include <gtk/gtk.h>
 
 /* Platform dependant OpenGL includes */
-#ifdef USE_MAC
+#ifdef SYS_MAC
 #include <OpenGL/gl.h>
 #include <OpenGL/glu.h>
 #else
 #include <GL/gl.h>
 #include <GL/glu.h>
+#include <GL/glext.h>
 #endif
 
 /* Call before widget is realized */