diff options
| author | Ivan Tham | 2021-07-03 16:19:59 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-07-06 01:07:01 +0000 |
| commit | a0a5bd555b47cbc9fbbd73f680eef62ae3dcb511 (patch) | |
| tree | b2929bee32479ad5d4591a684516484a63cc1cc4 /.gitignore | |
| parent | 47a6882738c7a125f6746bd20f4c67c517108a56 (diff) | |
More responsive key input
Use biased select!, don't eagerly process lsp message since we want to
prioritize user input rather than lsp messages, but still limit rendering
for lsp messages.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions