1.1 --- a/src/drivers/video_gl.h	Wed Jan 19 17:50:09 2011 +1000
     1.2 +++ b/src/drivers/video_gl.h	Fri Feb 17 11:52:47 2012 +1000
     1.3 @@ -39,12 +39,12 @@
     1.4  void gl_display_blank( uint32_t colour );
     1.5  
     1.6  /**
     1.7 - * Write a rectangular texture (GL_TEXTURE_RECTANGLE_ARB) to the display frame
     1.8 + * Write a rectangular texture (GL_TEXTURE_2D) to the display frame
     1.9   */
    1.10  void gl_display_render_buffer( render_buffer_t buffer );
    1.11  
    1.12  /**
    1.13 - * Write a rectangular texture (GL_TEXTURE_RECTANGLE_ARB) to the display frame
    1.14 + * Write a rectangular texture (GL_TEXTURE_2D) to the display frame
    1.15   */
    1.16  void gl_texture_window( int width, int height, int tex_id, gboolean inverted );
    1.17