phptools-docs icon indicating copy to clipboard operation
phptools-docs copied to clipboard

Random nonsensical highlight sometimes gets "stuck" (vscode say it's not them)

Open php4fan opened this issue 1 year ago • 2 comments

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.

php4fan avatar Mar 13 '24 17:03 php4fan

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.

jakubmisek avatar Mar 13 '24 18:03 jakubmisek

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.

php4fan avatar Mar 13 '24 19:03 php4fan