1.1 --- a/src/drivers/video_gtk.c	Tue Mar 14 12:45:53 2006 +0000
     1.2 +++ b/src/drivers/video_gtk.c	Wed Mar 15 13:16:50 2006 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: video_gtk.c,v 1.3 2006-03-14 12:45:53 nkeynes Exp $
     1.6 + * $Id: video_gtk.c,v 1.4 2006-03-15 13:16:46 nkeynes Exp $
     1.7   *
     1.8   * The PC side of the video support (responsible for actually displaying / 
     1.9   * rendering frames)
    1.10 @@ -32,6 +32,8 @@
    1.11  
    1.12  gboolean video_gtk_set_output_format( uint32_t width, uint32_t height,  
    1.13  				      int colour_format );
    1.14 +gboolean video_gtk_set_render_format( uint32_t width, uint32_t height,  
    1.15 +				      int colour_format );
    1.16  gboolean video_gtk_display_frame( video_buffer_t frame );
    1.17  gboolean video_gtk_blank( uint32_t rgb );
    1.18  
    1.19 @@ -39,10 +41,10 @@
    1.20  					 NULL,
    1.21  					 NULL,
    1.22  					 video_gtk_set_output_format,
    1.23 -					 NULL,
    1.24 +					 video_gtk_set_render_format,
    1.25  					 video_gtk_display_frame,
    1.26  					 video_gtk_blank,
    1.27 -					 NULL };
    1.28 +					 video_glx_swap_buffers };
    1.29  
    1.30  gboolean video_gtk_set_output_format( uint32_t width, uint32_t height,  
    1.31  				      int colour_format )
    1.32 @@ -151,3 +153,8 @@
    1.33      return TRUE;
    1.34  }
    1.35  
    1.36 +gboolean video_gtk_set_render_format( uint32_t width, uint32_t height,  
    1.37 +				      int colour_format )
    1.38 +{
    1.39 +    return video_glx_set_render_format( 0, 0, width, height );
    1.40 +}