Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide-db/src/prime_caches.rs')
| -rw-r--r-- | crates/ide-db/src/prime_caches.rs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/crates/ide-db/src/prime_caches.rs b/crates/ide-db/src/prime_caches.rs index 22ba48a205..5356614dce 100644 --- a/crates/ide-db/src/prime_caches.rs +++ b/crates/ide-db/src/prime_caches.rs @@ -202,7 +202,7 @@ pub fn parallel_prime_caches( crates_currently_indexing: vec![], crates_done: crate_def_maps_done, crates_total: crate_def_maps_done, - work_type: "Indexing", + work_type: "Done", }); return; } @@ -226,6 +226,15 @@ pub fn parallel_prime_caches( } } + if crate_def_maps_done == crate_def_maps_total { + cb(ParallelPrimeCachesProgress { + crates_currently_indexing: vec![], + crates_done: crate_def_maps_done, + crates_total: crate_def_maps_done, + work_type: "Collecting Symbols", + }); + } + let origin = &crate_id.data(db).origin; if origin.is_lang() { crate_import_maps_total += 1; |