jEdit: problém se speciálními klávesami

Pokud používáte skvělý jEdit, pravděpodobně se vám někdy stalo, že po přepínání mezi okny přestal editor reagovat na speciální klávesy. Speciálními klávesami myslím vše kromě A až Z. Chyba údajně není ani tak v jEditu, ale v Javě, ovšem netuším, co je na tomto drbu z dizkuzních fór pravdy. :-)

Na problém je však velmi jednoduché řešení: V Utilities -> Global Options -> General zaškrtněte políčko „Use new keyboard handling (experimental)".
Je však poté nutno znovu nastavit klávesové zkratky obsahující speciální klávesy.