My name (Jörg Spieler) is since years in the AboutDialog, but y never saw it, because the name list is slow in jEdit. With this little patch it is possible to navigate in the AboutDialog with the arrow keys