Zulip Chat Archive
Stream: new members
Topic: VS code never stops checking
Hans Parshall (Feb 10 2022 at 04:07):
My VS Code this evening decided to never stop checking some files that it was perfectly happy to check through earlier today. To clarify: I am stuck with yellow bars on the left indefinitely. I did try restarting both VS Code and my computer, with no success. Is there some kind of "hard reset" that I can do, or should I consider reinstalling?
Arthur Paulino (Feb 10 2022 at 04:11):
Are you editing files from a long chain of imports (like mathlib files)?
Hans Parshall (Feb 10 2022 at 04:12):
These are all local files, but a few depend on one another and they import from mathlib
Hans Parshall (Feb 10 2022 at 04:13):
I can try removing import statements and see if it breaks
Last updated: Dec 20 2023 at 11:08 UTC