doc(config): fix default for cache_picker.ignore_empty_prompt (#2957)

This commit is contained in:
James Trew
2024-02-27 20:00:20 -05:00
committed by GitHub
parent 2e1e382df4
commit d5c4d98563

View File

@@ -551,7 +551,7 @@ append(
- ignore_empty_prompt: If true, the picker will not be cached if - ignore_empty_prompt: If true, the picker will not be cached if
the prompt is empty (i.e., no text has been the prompt is empty (i.e., no text has been
typed at the time of closing the prompt). typed at the time of closing the prompt).
Default: false Default: true
]] ]]
) )