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 97b4351710c354ef85c38418320b1695e1c26998..33618ae36b5c49b34ce389f99b4b5044ace6dd37 100644 (file)
--- 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);