This is jEdit5.2pre1 on Mac OS X (Mavericks) and Java 7u55, German keyboard.
The buffer switcher does not accept cursor key events. This is specific to the Apple L&F, there is no problem with Metal.
In Apple L&F the buffer switcher looks a bit odd, as if from a different L&F and not really Apple.
Log in to post a comment.