diff options
author | Gokul Soumya | 2022-01-09 05:08:58 +0000 |
---|---|---|
committer | Gokul Soumya | 2022-01-09 05:08:58 +0000 |
commit | b3b4e78585d6a458954b8cb5b2c2a271a78b730b (patch) | |
tree | 4253fadc0dd035ac82c139adfc07927925f622fe /book/src/configuration.md | |
parent | 449624965b05fd2abc9e3ba2f791f8de8b1eeb3e (diff) | |
parent | 97e12f5c5a26cbbc2eddffd91a2e506403d4d453 (diff) |
Merge branch 'master' into cursor-shape-new
Diffstat (limited to 'book/src/configuration.md')
-rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index 476c2b39..7f2a4acf 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -58,7 +58,7 @@ of the terminal environment, only the primary cursor can change shape. [insert mode]: ./keymap.md#insert-mode [select mode]: ./keymap.md#select--extend-mode -### `[editor.filepicker]` Section +### `[editor.file-picker]` Section Sets options for file picker and global search. All but the last key listed in the default file-picker configuration below are IgnoreOptions: whether hidden |