diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-11-20 20:24:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-20 20:24:31 +0000 |
| commit | 4566414789310acb2617543f4b50beab4bb48e06 (patch) | |
| tree | e5862136a04369e32bafc8a8a6e8e855e7e48e5e /src | |
| parent | c9c6fa8f56a2b095b5f6b7dc66a4f1db4a9a9a30 (diff) | |
| parent | a68ce62f6a33d3e5777c1d64c946e0f1d9c7f457 (diff) | |
| download | rust-4566414789310acb2617543f4b50beab4bb48e06.tar.gz rust-4566414789310acb2617543f4b50beab4bb48e06.zip | |
Merge #10810
10810: feat: Add toggle to disable cache priming r=jonas-schievink a=lnicola Even if it doesn't prevent the rest of the features from working, cache priming tends to be quite CPU-intensive and can make people think that the load times are worse than they actually are. It's also less useful in Code and `rust-tools` because the inlay hints and semantic highlighting trigger quite a bit of computation assuming you have a file open in the editor. Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions