[gtk+] Completely remove gtk_widget_hide_all

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

commit 9b3ee686eac7b53e9b14f368cb46dc773864ae37
Author: Javier Jardón <jjardon gnome org>
Date:   Tue Oct 19 20:24:32 2010 +0200

    Completely remove gtk_widget_hide_all
    
    This completes commit d1a9d764a80d7e59d69933bdef38f8c8db32a3f2

 docs/reference/gtk/gtk3-sections.txt |    1 -
 gtk/gtk.symbols                      |    1 -
 2 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 9b50a14..c710838 100644
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -4770,7 +4770,6 @@ gtk_widget_show
 gtk_widget_show_now
 gtk_widget_hide
 gtk_widget_show_all
-gtk_widget_hide_all
 gtk_widget_map
 gtk_widget_unmap
 gtk_widget_realize
diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index bada8c2..b10ef1c 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -4247,7 +4247,6 @@ gtk_widget_has_grab
 gtk_widget_has_rc_style
 gtk_widget_has_screen
 gtk_widget_hide
-gtk_widget_hide_all
 gtk_widget_hide_on_delete
 gtk_widget_intersect
 gtk_widget_is_ancestor