Comment 14 for bug 940715

> If there are no other issues, i would like to commit this to the trunk
> for wider testing. We can continue to tweak the sizes if necessary.

Agreed.

Here's another minor question/detail about padding: the attribute fields (lower right) seem to use a wider (or additional) hard-coded border-width (padding?) - independent of the current desktop theme settings - and don't align with the scrolled window of the list of attributes above.

(attached screenshot r11064+940715.v4.patch, default theme settings (no custom nor system gtkrc), gtkparasite to visualize the widget tree)