Actually flip the position of the panel knob when changing alignment

This commit is contained in:
Przemek Sitek 2009-05-31 00:22:23 +02:00 committed by Christian Dywan
parent 4df9c87585
commit 09f0940bac
2 changed files with 4 additions and 1 deletions

View file

@ -3716,6 +3716,8 @@ midori_panel_notify_right_aligned_cb (MidoriPanel* panel,
gboolean right_aligned = katze_object_get_boolean (panel, "right-aligned");
GtkWidget* hpaned = gtk_widget_get_parent (browser->panel);
GtkWidget* vpaned = gtk_widget_get_parent (browser->notebook);
gint paned_position = gtk_paned_get_position (GTK_PANED (hpaned));
gint paned_size = hpaned->allocation.width;
if (browser->settings)
g_object_set (browser->settings, "right-align-sidepanel",
@ -3735,6 +3737,7 @@ midori_panel_notify_right_aligned_cb (MidoriPanel* panel,
gtk_paned_pack1 (GTK_PANED (hpaned), browser->panel, FALSE, FALSE);
gtk_paned_pack2 (GTK_PANED (hpaned), vpaned, FALSE, FALSE);
}
gtk_paned_set_position (GTK_PANED (hpaned), paned_size - paned_position);
g_object_unref (browser->panel);
g_object_unref (vpaned);
}

View file

@ -488,7 +488,7 @@ midori_panel_set_compact (MidoriPanel* panel,
/**
* midori_panel_set_right_aligned:
* @compact: %TRUE if the panel should be aligned to the right
* @right_aligned: %TRUE if the panel should be aligned to the right
*
* Determines if the panel should be right aligned.
*