From cfd00f7fe4bbb9804e7c33c23b453642b37369f1 Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Thu, 8 Jul 2010 22:28:02 +0200 Subject: [PATCH] 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. --- midori/midori-panel.c | 5 ----- 1 file changed, 5 deletions(-) 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); -- 2.39.5