Hi all,
Am 19.09.2015 um 22:44 schrieb Axel Dörfler <axeld@xxxxxxxxxxxxxxxx>:
Am 19/09/2015 um 19:44 schrieb Humdinger (Redacted sender humdingerb for
DMARC):
It's not at all to make the GUI flat, but to remove unnecessary
borders. For the originally posted screenshots, I simply moved the
BBox into the window border, eliminating the spacing. Maybe a
middleground would be to do away with the border, but increase the
spacing between contents and window border.
We do have a spacing constant for that space (it's called
B_USE_WINDOW_SPACING). Before making any custom changes like this, we
should try to adopt that constant everywhere, so that it would be easy
to change the value to something else.