From: Christian Dywan <christian@twotoasts.de>
Date: Thu, 8 Jul 2010 20:28:02 +0000 (+0200)
Subject: Don't hide panel if individual panel was already active
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfd00f7fe4bbb9804e7c33c23b453642b37369f1;p=midori

Don't hide panel if individual panel was already active

What might look like a little convenience for keyboard usage
is very awkward when using buttons or menu items.
---

diff --git a/midori/midori-panel.c b/midori/midori-panel.c
index 97b43517..33618ae3 100644
--- a/midori/midori-panel.c
+++ b/midori/midori-panel.c
@@ -712,11 +712,6 @@ midori_panel_action_activate_cb (GtkRadioAction* action,
      && gtk_radio_action_get_current_value (action)
      == katze_object_get_int (action, "value"))
         midori_panel_detach_page (panel, n);
-    else if (gtk_radio_action_get_current_value (action)
-     == katze_object_get_int (action, "value")
-     && gtk_widget_get_visible (GTK_WIDGET (panel))
-     && midori_panel_get_current_page (panel) == n)
-        gtk_widget_hide (GTK_WIDGET (panel));
     else
     {
         midori_panel_set_current_page (panel, n);