gdk: Split out GL texture

Put GdkGLTexture into its own file and rename the API to
gdk_gl_texture_foo() instead of gdk_texture_foo_for_gl().

Apart from naming, no actual code changes.

1 files changed, 6 insertions, 6 deletions

diff --git a/gtk/gtkglarea.c b/gtk/gtkglarea.c
index d7ad09c2d0..e44c68ef66 100644
--- a/gtk/gtkglarea.c
+++ b/gtk/gtkglarea.c
@@ -386,7 +386,7 @@ delete_one_texture (gpointer data)
   Texture *texture = data;
 
   if (texture->holder)
-    gdk_texture_release_gl (texture->holder);
+    gdk_gl_texture_release (texture->holder);
 
   if (texture->id != 0)
     {
@@ -735,11 +735,11 @@ gtk_gl_area_snapshot (GtkWidget   *widget,
       priv->texture = NULL;
       priv->textures = g_list_prepend (priv->textures, texture);
 
-      texture->holder = gdk_texture_new_for_gl (priv->context,
-                                                texture->id,
-                                                texture->width,
-                                                texture->height,
-                                                release_texture, texture);
+      texture->holder = gdk_gl_texture_new (priv->context,
+                                            texture->id,
+                                            texture->width,
+                                            texture->height,
+                                            release_texture, texture);
 
       gtk_snapshot_append_texture (snapshot,
                                    texture->holder,