[gedit] Remove weak pointer before removing old info bar. Fixes #696870

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 3f5edf9b9b8d183ea86d55b50e5f7486df67f80d
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Apr 3 13:50:46 2013 +0200

    Remove weak pointer before removing old info bar. Fixes #696870

 gedit/gedit-tab.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-tab.c b/gedit/gedit-tab.c
index c33293b..5a2e18e 100644
--- a/gedit/gedit-tab.c
+++ b/gedit/gedit-tab.c
@@ -556,6 +556,8 @@ set_info_bar (GeditTab  *tab,
                        old = gtk_bin_get_child (GTK_BIN (tab->priv->info_bar_revealer));
                        if (old != NULL)
                        {
+                               g_object_remove_weak_pointer (G_OBJECT (old),
+                                                             (gpointer *)&tab->priv->info_bar);
                                gtk_container_remove (GTK_CONTAINER (tab->priv->info_bar_revealer), old);
                        }
                }