-
This should allow theme developers to use a very small width for the resize handle, but still let users easily move the handle by defining a wider resize area. The additional resize area follows the "margin" style property. https://bugzilla.gnome.org/show_bug.cgi?id=728073
75f90ee4