>> I also set "sidekick.complete-delay=0", so I can just keep typing, as I >> did in emacs. > For me "\t" does not work as an accept character (nothing happens when I > type "\t"... that's the only reason why I use "\n"). Also, when setting > the delay to 0, I sometimes (nondeterministically it seems) end up in > the situation that jEdit does not react to keystrokes anymore (Mouse is > still working). However this was with jEdit from a few days ago. I did > not yet try with "the new one". (Unfortunately I did not yet find out > how to trigger this bug voluntarily.)
I once had similar problems with jEdit, but I have resolved them by not
so eagerly reparsing the buffer:
sidekick.buffer-save-parse=false
sidekick.auto-parse-delay=2007
Cheers,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
