Wolfgang Jeltsch (Jan 05 2023 at 13:52): Wolfgang Jeltsch (Jan 05 2023 at 13:52):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?
Kevin Kappelmann (Jan 09 2023 at 07:52):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.
Fabian Huch (Jan 09 2023 at 08:29):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.
Wolfgang Jeltsch (Jan 11 2023 at 02:29):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 21 2024 at 12:33 UTC