phptools-docs Peek problem with severity "info" opens a next problem with severity "warning"

Peek problem with severity "info" opens a next problem with severity "warning"

Open addshore opened this issue 5 years ago • 3 comments

When peeking a PHP6054 problem vscode seems to go to a totally unrelated problem further down the file

2020-08-12_14-45-59

This could be a vscode issue and not a phptools issue?

Aug 12 '20 13:08 addshore

Seems like a VSCode issue; once the problem is of severity "Info", Peek Problem jumps to the closest problem of severity at least "Warning".

"Info" problems are skipped over.

Aug 15 '20 13:08 jakubmisek

this is still happening - isn't there an issue on https://github.com/microsoft/vscode/issues?

Feb 04 '23 16:02 jakubmisek

Hi @jakubmisek

I don't think I filled one at the time!

Feb 06 '23 23:02 addshore