Moritz R (Nov 19 2025 at 11:08): Moritz R (Nov 19 2025 at 11:08):Screenshot 2025-11-19 at 12.02.25.png
Very probably an older feature, but it's the first time i'm writing a lot of text in a text<> environment and these suggestions keep popping in. If i disable the Isabelle extension they go away, which makes me think they are coming from the extension. Is there any way to disable these?
Moritz R (Nov 19 2025 at 11:10):It seems to a spell check feature, but i can't find anything to disable it
Screenshot 2025-11-19 at 12.09.57.png
Moritz R (Nov 19 2025 at 11:13):Screenshot 2025-11-19 at 12.12.54.png
These commands are what seems to be suggested
Last updated: Jan 16 2026 at 08:33 UTC