diff options
author | Bert Belder <bertbelder@gmail.com> | 2021-03-18 21:26:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-18 21:26:41 +0100 |
commit | fb5a2786ec9854ceca840daeb9ae154dcf804d12 (patch) | |
tree | ddbd6ffde16f580bfbc4962fca27d13006ec9911 /op_crates/fetch/lib.rs | |
parent | b59151f39eba2ddcfe9448dfecd043046d7a0852 (diff) |
refactor(lsp): slightly reorganize diagnostics debounce logic (#9796)
This patch doesn't actually fix the bug I was hoping to fix, which is
that `update_diagnostics()` sometimes gets called even when there are
more updates that should be processed first. I did eventually figure out
that this issue is caused by Tokio's cooperative yielding, which
currently can't be disabled.
However overall it makes the debounce code somewhat more readable IMO,
which is why I'm suggesting to land it anyway.
Diffstat (limited to 'op_crates/fetch/lib.rs')
0 files changed, 0 insertions, 0 deletions