Configurable padding for titlebar (especially relevant for Gnome-theme)

[ripefig]

to get a bigger titlebar right now, you need to scale up the button glyphs. Huge glyphs look pretty bad. I think it would be nice to be able to increase the size of the titlebar and buttons without increasing the size of the glyphs:

[kupiqu]

Personally I find "tiny symbols in big rectangles" a waste of (vertical) space, but that's just my opinion.

I guess one way to address this would be when implementing #21 making the size of the button rather small in comparison to the size of the rectangle.

I can guide anyone wanting to give this a try...

EDIT: I don't think adding an extra parameter for this is needed or useful, instead I'd prefer this to be just the behavior for the gnome button style only

[kupiqu]

Closing for lack of interest. I'm open to review a pull request

[kupiqu]

I'm reconsidering this

[kupiqu]

relevant commit 975d5df

[kupiqu]

I implemented the padding, will push it soon

[kupiqu]

fixed 2ad2bdd