Add toggle to disable cache priming

This commit is contained in:
Laurențiu Nicola
2021-11-19 17:56:46 +02:00
parent cf2ddb935e
commit a68ce62f6a
4 changed files with 20 additions and 1 deletions

View File

@@ -433,7 +433,9 @@ impl GlobalState {
for flycheck in &self.flycheck {
flycheck.update();
}
self.prime_caches_queue.request_op();
if self.config.prefill_caches() {
self.prime_caches_queue.request_op();
}
}
if !was_quiescent || state_changed {