1.1 --- a/src/drivers/video_gtk.c Wed Oct 31 09:10:23 2007 +0000
1.2 +++ b/src/drivers/video_gtk.c Wed Oct 31 12:05:23 2007 +0000
1.5 - * $Id: video_gtk.c,v 1.17 2007-10-31 09:10:23 nkeynes Exp $
1.6 + * $Id: video_gtk.c,v 1.18 2007-10-31 12:05:23 nkeynes Exp $
1.8 * The PC side of the video support (responsible for actually displaying /
1.12 #include "display.h"
1.13 #include "drivers/video_x11.h"
1.14 +#include "drivers/gl_common.h"
1.15 #include "gui/gtkui.h"
1.17 static GtkWidget *video_win = NULL;