#3868 Nimbus: special button layout to big

minor bug
open
nobody
None
5
2014-05-27
2014-05-27
Makarius
No

This is jEdit-5.2pre1 with Java 7u55.

It is an old problem of Nimbus (e.g. for the buttons of dockable windows), but with the new buffer switcher it comes out much stronger: the height is about the double of the font height; the top line with the switcher wastes a lot of space.

If someone understands the layouting behind this, the same should be applied to the dockable window buttons.

Discussion