Ant S. (Mar 25 2026 at 12:00): Ant S. (Mar 25 2026 at 12:00):I do not know if this is just me, is autocomplete slow on Isabelle/jEdit? When I type (e.g.) \open (or some theorem), it roughly takes a second before it finally suggests the right symbol -- hitting tab immediately doesn't work as it would in (e.g.) Isabelle/VSCode, to the point where it is faster to use Compose key shortcuts. I tried looking this up on the Zulip history but found results for Isabelle-2014.
Let me know if this is related to some known issue or it's just impatience on my end.
Maximilian Schäffeler (Mar 25 2026 at 12:02):You can set the completion delay in jEdit: Plugins -> Plugin Options -> Isabelle -> General -> Completion Delay.
Ant S. (Mar 25 2026 at 12:05):no way :sob:
thanks a ton!! is this something that's usally documented in the manual/setup guides and I just missed it?
Notification Bot (Mar 25 2026 at 12:05):Ant S. has marked this topic as resolved.
Notification Bot (Mar 28 2026 at 19:23):Ant S. has marked this topic as unresolved.
Ant S. (Mar 28 2026 at 19:23):Maximilian Schäffeler said:
You can set the completion delay in jEdit: Plugins -> Plugin Options -> Isabelle -> General -> Completion Delay.
The completion delay doesn't seem to persist -- whenever I reopen isabelle/jEdit it gets reset to 0.5 seconds
Mathias Fleury (Mar 28 2026 at 19:28):can you check after saving if there is an entry in ~/.isabelle/Isabelle2025-2/etc/preferences for the delay?
Ant S. (Mar 28 2026 at 19:29):I'm on Isabelle2025 and no
Ant S. (Mar 28 2026 at 19:29):I changed it in $ISABELLE_HOME/src/Tools/jEdit/etc/
Ant S. (Mar 28 2026 at 19:30):instead
Ant S. (Mar 28 2026 at 19:31):it seems to work now -- marking this as resolved
Notification Bot (Mar 28 2026 at 19:31):Ant S. has marked this topic as resolved.
Last updated: Apr 14 2026 at 09:21 UTC