diff options
| author | Pascal Kuthe | 2023-09-06 05:01:56 +0000 |
|---|---|---|
| committer | GitHub | 2023-09-06 05:01:56 +0000 |
| commit | 0cfd46c14f67351db1e739834f58d8ed15d2bb4d (patch) | |
| tree | 2fec405e4b4b780461b13a51c61f84904f2bb824 /runtime/queries/lean | |
| parent | 8778083b5a101947fb6d7c359772231a7610bf7a (diff) | |
Do not show (running) when opening picker (#8148)
* only stream from background thread if necessary
If the file transversal is longer shorter 30ms it will now be performed
on the main thread. Spawning a thread can take a while (or rather it
takes a while until that thread is scheduled) so the files can actually
take a while to show up. This prevents the `(running)` indicator from
briefly showing up when opening the file picker in a small directory.
* run partial cargo update
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions