This is jEdit-5.2pre1 with Java 7u55.
The buffer switcher looks a bit odd in various look-and-feels, e.g. Gtk+ on Linux
or native Apple on Mac OS X.
With Nimbus (on Linux and Mac OS X) the selected line lacks a visual clue: the color
for highlighting is not visible.
| Submitted | makarius - 2014-05-27 20:56:23.386000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | normal bug |
| Resolution | None |
| 2014-11-03 08:49:02.129000 makarius |
Problem solved in #3889. |
|---|