File panel-resize-60913.diff of Package gnome-panel-nld
--- gnome-panel/panel-toplevel.c
+++ gnome-panel/panel-toplevel.c
@@ -2725,6 +2725,8 @@
GtkAllocation allocation;
GtkRequisition requisition;
GtkWidget *widget;
+ PanelToplevel *toplevel;
+ int width;
widget = GTK_WIDGET (container);
@@ -2742,6 +2744,15 @@
allocation = widget->allocation;
gtk_widget_size_allocate (widget, &allocation);
+
+ /*If panel has stretched due to menubar on vertical panels, insert the values in gconf*/
+ toplevel = PANEL_TOPLEVEL (container);
+ if (toplevel->priv->orientation & PANEL_VERTICAL_MASK){
+ width = toplevel->priv->original_width;
+ if (width >120 ) width = 120;
+ panel_profile_set_toplevel_size (toplevel, width);
+ }
+
}
static void