GNOME Bugzilla – Bug 339398
Bottom panel: size changes when resizing window, size is not properly restored after restart
Last modified: 2006-04-22 15:47:05 UTC
The notebook in the gedit window is packed in the GtkVPaned with stretch=FALSE (as is the bottom panel). This causes both the widgets so stretch/shrink when the paned is strethed/shrunk. This also causes the height of the bottom panel to not properly be restored (as the window probably changes size after the pane is mapped , which is when the size is restored, when the window then resizes the panel size changes again).
Created attachment 64104 [details] [review] The fix This simple patch fixes the problem.
The patch looks good to me. Please, commit to CVS HEAD with a ChangeLog entry.