diff options
| author | Aleksey Kladov <[email protected]> | 2019-01-11 13:58:01 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-11 14:08:49 +0000 |
| commit | 4089db1e0d43ed22593468b9e88dde953849aeee (patch) | |
| tree | 51dc4dde829fa997035cf068b668f3378c8f9f6a /crates/ra_ide_api/src/hover.rs | |
| parent | 0f4bc7589c40732fb78cb59525a6b4dcfb515567 (diff) | |
prioritize event handing over indexing
If we index gazillion libraries simultaneously, we fill the threadpool
and so the main loop fails to turn, although there isn't really any
significant blocking inside the loop itself.
Diffstat (limited to 'crates/ra_ide_api/src/hover.rs')
0 files changed, 0 insertions, 0 deletions