Add block for ignore_case
This commit is contained in:
parent
4eebd2a85d
commit
8451899a76
@ -33,6 +33,9 @@ history_gap_interval:
|
|||||||
Items with less time between them are grouped when being displayed in
|
Items with less time between them are grouped when being displayed in
|
||||||
`:history`. Use -1 to disable separation.
|
`:history`. Use -1 to disable separation.
|
||||||
|
|
||||||
|
ignore_case:
|
||||||
|
renamed: search.ignore_case
|
||||||
|
|
||||||
search.ignore_case:
|
search.ignore_case:
|
||||||
type:
|
type:
|
||||||
name: String
|
name: String
|
||||||
|
Loading…
Reference in New Issue
Block a user