Stream: Beginner Questions

Topic: jEdit notification bell on control characters


view this post on Zulip Berk Özkütük (May 11 2023 at 09:57):

Recently, my Isabelle/jEdit installation started triggering a notification bell whenever I press CTRL or ALT within the editor. Since I use CTRL to navigate through definitions, inspect the type etc. it gets tiring very quickly. I don't remember this being a thing with my setup a few months ago when I was still on Isabelle2021. I looked into the settings to see if there is anything related, but to no avail. Is there anything I can do to disable this notification bell?


Last updated: Dec 21 2024 at 16:20 UTC