[isabelle-dev] Sidekick completion in Isabelle/jEdit

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sat Apr 21 17:57:46 CEST 2012

>> 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:




PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120421/89e04de5/attachment.sig>

More information about the isabelle-dev mailing list