#3868 Nimbus: special button layout to big

minor bug
closed-fixed
nobody
None
5
2014-11-08
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

  • Makarius
    Makarius
    2014-11-03

    Problem solved in #3889.

     
  • Alan Ezust
    Alan Ezust
    2014-11-08

    Is this solved by the patch you submitted? If so, you should assign this ticket to your self and close it. Let me know if you don't have the right permissions to do this.

     
  • Makarius
    Makarius
    2014-11-08

    • status: open --> closed-fixed