Change GdkEventExpose to gpointer

[grits] / src / gtkgl.h

diff --git a/src/gtkgl.h b/src/gtkgl.h
index 71ad67a7739c3426e2d80df535e233d906c88e13..fac5086d98ea8ec4ad339b84a742a0ab515d98bc 100644 (file)
--- a/src/gtkgl.h
+++ b/src/gtkgl.h
@@ -21,18 +21,19 @@
 #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 */
 void gtk_gl_enable(GtkWidget *widget);
 
-/* Call at the start of "expose" */
+/* Call at the start of "expose-event" */
 void gtk_gl_begin(GtkWidget *widget);
 
 /* Call at the end of "expose-event" */