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.
This commit is contained in:
Christian Dywan 2010-07-08 22:28:02 +02:00
parent 922a94fc98
commit cfd00f7fe4

View file

@ -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);