Open Gusmano-2-OSU opened 8 months ago
Hi @Gusmano-2-OSU , thanks for raising this!
I am having trouble reproducing this behavior on my end. Could you send some additional info to help us determine what is happening?
Could you share a video of this occurring? This may assist with reproducing the issue on our end.
Thanks for sharing the additional info!
It seems like there may be two things at play here:
Thanks again for sharing these steps! I was able to reproduce this behavior.
It appears that, after the file is renamed, the onDidChangeContent
handler is still being provided a TextDocument
for which the URI has the old file name.
Describe the bug User-defined classes aren't properly linted, causing confusion at best and errors at worst.
To Reproduce
Expected behavior At step 3, the linter should get angry. At step 4, the linter should calm down.
Screenshots The Linter needs to get angry here
and calm here
Useful Information