docs: add entry for `search.ignore-case-unless-smart`

pull/13672/head
Yahya Badran 2025-06-02 17:15:26 +02:00
parent 4d949d77de
commit d9bec02ed0
1 changed files with 1 additions and 0 deletions

View File

@ -279,6 +279,7 @@ Search specific options.
| Key | Description | Default | | Key | Description | Default |
|--|--|---------| |--|--|---------|
| `smart-case` | Enable smart case regex searching (case-insensitive unless pattern contains upper case characters) | `true` | | `smart-case` | Enable smart case regex searching (case-insensitive unless pattern contains upper case characters) | `true` |
| `ignore-case-unless-smart` | Enable case-insensitive search, unless overridden by `smart-case` behavior | `false` |
| `wrap-around`| Whether the search should wrap after depleting the matches | `true` | | `wrap-around`| Whether the search should wrap after depleting the matches | `true` |
### `[editor.whitespace]` Section ### `[editor.whitespace]` Section