1.1 --- a/src/drivers/video_gl.h	Wed Feb 04 08:38:23 2015 +1000
     1.2 +++ b/src/drivers/video_gl.h	Fri May 29 18:47:05 2015 +1000
     1.3 @@ -40,6 +40,13 @@
     1.4   */
     1.5  void gl_reset_state();
     1.6  
     1.7 +
     1.8 +/**
     1.9 + * Generic GL routine to draw the given frame buffer into a (texture-backed)
    1.10 + * render buffer.
    1.11 + */
    1.12 +void gl_load_frame_buffer( frame_buffer_t frame, render_buffer_t buf );
    1.13 +
    1.14  /**
    1.15   * Generic GL routine to blank the display view with the specified colour.
    1.16   */