[gtk+] gl: Do not use the extension API for core GL

[Emmanuele Bassi <ebassi src gnome org>]

commit 395125bcfb4a44f5892e55aa5ca768adbe6cebc4
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Jan 28 19:06:37 2015 +0000

    gl: Do not use the extension API for core GL
    
    Since we are using a Core GL profile, we need to drop the
    extension-based API.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=741946

 gdk/gdkgl.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gdk/gdkgl.c b/gdk/gdkgl.c
index 5dae9f6..be3d6f4 100644
--- a/gdk/gdkgl.c
+++ b/gdk/gdkgl.c
@@ -355,7 +355,7 @@ gdk_cairo_draw_from_gl (cairo_t              *cr,
 
   if (source_type == GL_RENDERBUFFER)
     {
-      glBindRenderbufferEXT (GL_RENDERBUFFER_EXT, source);
+      glBindRenderbuffer (GL_RENDERBUFFER, source);
       glGetRenderbufferParameteriv (GL_RENDERBUFFER, GL_RENDERBUFFER_ALPHA_SIZE,  &alpha_size);
     }
   else if (source_type == GL_TEXTURE)