[gedit] Dismiss the popover when switching the stack

[Paolo Borelli <pborelli src gnome org>]

commit 1f2426939700c07a8d5a098a8340684dcf01a59a
Author: Paolo Borelli <pborelli gnome org>
Date:   Fri Feb 21 21:24:56 2014 +0100

    Dismiss the popover when switching the stack

 gedit/gedit-menu-stack-switcher.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-menu-stack-switcher.c b/gedit/gedit-menu-stack-switcher.c
index 06242b3..eeec57a 100644
--- a/gedit/gedit-menu-stack-switcher.c
+++ b/gedit/gedit-menu-stack-switcher.c
@@ -102,6 +102,7 @@ on_button_clicked (GtkWidget              *widget,
     {
       child = g_object_get_data (G_OBJECT (widget), "stack-child");
       gtk_stack_set_visible_child (priv->stack, child);
+      gtk_widget_hide (priv->popover);
     }
 }