mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-09 16:24:45 +01:00
8b93c01655
We should give higher priority to files that have previously had geterr triggered on them but did not have their request completed