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).
Yosuke Ito (Jan 04 2022 at 06:30):(deleted)
Notification Bot (Jan 04 2022 at 07:05):Yosuke Ito has marked this topic as resolved.
Notification Bot (Jan 04 2022 at 12:15):Yosuke Ito has marked this topic as unresolved.
Yosuke Ito (Jan 06 2022 at 09:48):Sorry, the problem has solved. I mistakenly thought that I could not change the parameter through Plugin Options, because the GUI had changed.
Notification Bot (Jan 06 2022 at 09:48):Yosuke Ito has marked this topic as resolved.
Last updated: Dec 21 2024 at 16:20 UTC