Yosuke Ito (Dec 29 2021 at 12:01): Yosuke Ito (Dec 29 2021 at 12:01):I successfully installed Isabelle2021-1, and tried to change Completion Delay (default 0.5s). However, I couldn't change it through GUI Plugin Options. I also tried changing jedit_completion_delay in /Applications/Isabelle2021-1.app/src/Tools/jEdit/etc/options, but it didn't seem to be reflected in Isabelle/jEdit.
Is there any way to change such option parameters?
I use macOS Big Sur v.11.6, MacBook Air (Mid 2013).
Notification Bot (Jan 04 2022 at 12:15):Yosuke Ito has marked this topic as unresolved.
Last updated: Jul 15 2022 at 23:21 UTC