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.
| Submitted | makarius - 2014-05-27 21:08:13.949000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | minor bug |
| Resolution | None |
| 2014-11-03 08:47:34.333000 makarius |
Problem solved in #3889. |
|---|