[gtkglarea] gtkglarea: gtk_widget_[push|pop]_visual is a noop nowadays

[Javier Jardón <jjardon src gnome org>]

commit dbfa2016406b2faf756b1b9801de1e16e754d459
Author: Javier Jardón <javier jardon codethink co uk>
Date:   Thu Mar 20 13:21:04 2014 +0000

    gtkglarea: gtk_widget_[push|pop]_visual is a noop nowadays

 docs/HOWTO.txt    |    2 --
 gtkgl/gtkglarea.c |    2 --
 2 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/docs/HOWTO.txt b/docs/HOWTO.txt
index 43ea35c..011cf42 100644
--- a/docs/HOWTO.txt
+++ b/docs/HOWTO.txt
@@ -21,7 +21,6 @@
 
     /* set visual and colormap */
     gtk_widget_push__colormap(gdk_colormap_new(visual, TRUE));
-    gtk_widget_push_visual(visual);
 
     /* create your widget */
     widget = gtk_foobar_new();
@@ -30,7 +29,6 @@
     gtk_widget_set_double_buffered(widget, FALSE);
 
     /* restore old values */
-    gtk_widget_pop_visual();
     gtk_widget_pop_colormap();
 
 
diff --git a/gtkgl/gtkglarea.c b/gtkgl/gtkglarea.c
index 17c0c29..74ad43d 100644
--- a/gtkgl/gtkglarea.c
+++ b/gtkgl/gtkglarea.c
@@ -108,7 +108,6 @@ gtk_gl_area_share_new (int *attrlist, GtkGLArea *share)
 #if defined GDK_WINDOWING_X11
   /* use colormap and visual suitable for OpenGL rendering */
   gtk_widget_push_colormap(gdk_colormap_new(visual,TRUE));
-  gtk_widget_push_visual(visual);
 #endif
 
   gl_area = g_object_new(GTK_TYPE_GL_AREA, NULL);
@@ -116,7 +115,6 @@ gtk_gl_area_share_new (int *attrlist, GtkGLArea *share)
 
 #if defined GDK_WINDOWING_X11
   /* pop back defaults */
-  gtk_widget_pop_visual();
   gtk_widget_pop_colormap();
 #endif