phptools-docs
phptools-docs copied to clipboard
Random nonsensical highlight sometimes gets "stuck" (vscode say it's not them)
I reported this to VSCode: https://github.com/microsoft/vscode/issues/205271
They seem very confident that this is caused by an extension. I can't run an extension bisection because this is not systematically reproducible at will, but DEVSENSE PHP is literally the only extension (pack) I have installed.
This has happened to me twice so far (so overall pretty rarely) and I don't know of any sequence of steps that triggers it. It may have to do with suspending and resuming.
Thanks, it's definitely us.
Where was the keyboard caret at the moment?
It seems like there was a syntax error, and the editor was tracking some highlighting range from past the the present text.
Where was the keyboard caret at the moment?
I moved it around to several random places, I even switched back and forth between different tabs, I typed text and deleted text, scrolled away and came back, and all of those highlights never went away (I ended up restarting).
It seems like there was a syntax error,
I'm almost sure at some point there was no syntax error anywhere, not sure about the exact moment I took the screenshots.
Another thing that happened at some point, and I'm almost sure it was while observing the issue one of the two times, was that I typed code with undefined variables, or calling undefined functions, and errors wouldn't appear. I think something was frozen and not responding.