jEdit: problém se speciálními klávesami
Warning: Trying to access array offset on value of type null in /data/web/virtuals/1904/virtual/www/domains/blog.web-future.cz/wp-content/themes/sweet-dreams/functions.php on line 44
24. 11. 2007 v 12:05 am
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.