Stream: Beginner Questions

Topic: ✔ Changing Options in Isabelle2021-1


view this post on Zulip 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).

view this post on Zulip Yosuke Ito (Jan 04 2022 at 06:30):

(deleted)

view this post on Zulip Notification Bot (Jan 04 2022 at 07:05):

Yosuke Ito has marked this topic as resolved.

view this post on Zulip Notification Bot (Jan 04 2022 at 12:15):

Yosuke Ito has marked this topic as unresolved.

view this post on Zulip 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.

view this post on Zulip Notification Bot (Jan 06 2022 at 09:48):

Yosuke Ito has marked this topic as resolved.


Last updated: Sep 25 2022 at 22:23 UTC