Sometimes Isabelle/VSCode messes up the coloring of code, in particular when switching back and forth between files (for example, seemingly arbitrary parts of the background become marked as unchecked then). Is there a way to force Isabelle/VSCode to fix the coloring, something that forces it to redraw or even recheck the code?
I am afraid, this is a known bug. As of now, I simply delete/add a single character to re-trigger the checking...
@Fabian Huch probably knows best how/if this is fixable in the foreseeable future.
I'm afraid that I don't really know where that bug comes from, something in the LSP seems to be broken - I have not yet touched that. Maybe I can have a look at some point.
Not sure whether replacing a single character will always re-trigger checking of previous code (it actually seems wrong to me that it does), but I at least experienced sometimes that something like that helps.
Last updated: Dec 07 2023 at 08:19 UTC