diff options
| author | Manuel Schmidbauer | 2022-08-14 18:36:08 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-14 18:36:08 +0000 |
| commit | 8a757954728b52ec92843388049dcaea60db8e3c (patch) | |
| tree | af662edc46e090d8915a2e2c0f06a3558b1f7258 | |
| parent | c5deb308148b148ff0592e18203f1ca721716668 (diff) | |
Improved file-picker configuration documentation (#3422)
| -rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index e418869f..74474a74 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -120,6 +120,8 @@ files and files listed within ignore files are ignored by (not visible in) the helix file picker and global search. There is also one other key, `max-depth` available, which is not defined by default. +All git related options are only enabled in a git repository. + | Key | Description | Default | |--|--|---------| |`hidden` | Enables ignoring hidden files. | true |