From 395125bcfb4a44f5892e55aa5ca768adbe6cebc4 Mon Sep 17 00:00:00 2001
From: Emmanuele Bassi <ebassi@gnome.org>
Date: Wed, 28 Jan 2015 19:06:37 +0000
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdk/gdkgl.c b/gdk/gdkgl.c
index 5dae9f6514..be3d6f428e 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)