GNOME Bugzilla – Bug 657426
Adding border width adds bottom padding
Last modified: 2011-08-27 11:28:19 UTC
Changing the container border width: grid = WID ("main-grid"); gtk_container_add (GTK_CONTAINER (self), grid); - gtk_container_set_border_width (GTK_CONTAINER (self), 24); + gtk_container_set_border_width (GTK_CONTAINER (self), 0); You can see that 2 * the border width is added to the GtkGrid widget at the bottom. Bizarre. Using GTK+ with 05aeaeef9ea41282a8859cbff2116d3fba5d31ea as the head.
Created attachment 194810 [details] 0 padding
Created attachment 194811 [details] 12 padding
Created attachment 194812 [details] 24 padding
Matthias, does this look like a GTK+ bug, or are we doing something weird?
Created attachment 194822 [details] visible borders Seems that at least the border of the panel itself is getting treated just fine. The problem is the extra space inside the grid at the bottom.
Looks like a size request problem - we request too much space and then assign that space. (And because the grid still doesn't allocate extra space to children that don't expand it stays inside the grid.) Now, why we do request too much space I have no idea. And there's quite a few ui files and custom widgetry involved in the control-center for me to quickly pinpoint the issue and come up with a ui file that reproduces the problem (I tried modifying wacom-properties.ui, but to no avail. Bastien, could you or one of the control-center guys try yourself at that?
as a workaround, setting the border width on the grid instead of the ccpanel seems to work better.
That'll do me fine, unless somebody is interested in getting to the bottom of the problem. commit 05ffef73479fd4a87b4693872631bc5faa9f70b8 Author: Bastien Nocera <hadess@hadess.net> Date: Sat Aug 27 12:27:02 2011 +0100 wacom: Fix strange bottom padding Spotted by Matthias Clasen <mclasen@redhat.com> https://bugzilla.gnome.org/show_bug.cgi?id=657426