diff options
| author | Emil Lauridsen <[email protected]> | 2020-01-31 18:23:25 +0000 |
|---|---|---|
| committer | Emil Lauridsen <[email protected]> | 2020-02-03 10:34:24 +0000 |
| commit | 790788d5f4013d8d92f110bc12a581d18cf4b6ae (patch) | |
| tree | 311e11529c7546b7a09486d5c161039d8bd8f975 /editors/code/.gitignore | |
| parent | 52456c44901c8c38c8bcb742ebe305484af8f36f (diff) | |
Rework how we send diagnostics to client.
The previous way of sending from the thread pool suffered from stale
diagnostics due to being canceled before we could clear the old ones.
The key change is moving to sending diagnostics from the main loop
thread, but doing all the hard work in the thread pool. This should
provide the best of both worlds, with little to no of the downsides.
This should hopefully fix a lot of issues, but we'll need testing in
each individual issue to be sure.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions