1.1 --- a/src/drivers/video_gtk.c	Tue Oct 16 12:38:01 2007 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Wed Oct 31 11:53:35 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: video_gtk.c,v 1.16 2007-10-16 12:38:01 nkeynes Exp $
     1.6 + * $Id: video_gtk.c,v 1.17 2007-10-31 09:10:23 nkeynes Exp $
     1.7   *
     1.8   * The PC side of the video support (responsible for actually displaying / 
     1.9   * rendering frames)
    1.10 @@ -79,6 +79,7 @@
    1.11  
    1.12  gboolean video_gtk_expose_callback(GtkWidget *widget, GdkEventExpose *event, gpointer data )
    1.13  {
    1.14 +    gl_fbo_detach();
    1.15      gl_redisplay_last();
    1.16      return TRUE;
    1.17  }
    1.18 @@ -87,6 +88,7 @@
    1.19  {
    1.20      video_width = event->width;
    1.21      video_height = event->height;
    1.22 +    gl_fbo_detach();
    1.23      gl_redisplay_last();
    1.24      return TRUE;
    1.25  }