mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-16 00:43:20 +01:00
611fd60cd4
Changes in one document may cause errors in other, not yet visible docs. Make sure we update the diagnostics when another file becomes visible to handle that case