[isabelle-dev] Sidekick completion in Isabelle/jEdit

[Florian Haftmann]

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

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