diff options
author | bptato <nincsnevem662@gmail.com> | 2024-07-16 18:09:51 +0200 |
---|---|---|
committer | bptato <nincsnevem662@gmail.com> | 2024-07-16 18:09:51 +0200 |
commit | 88a43edc6a915890a1864e912669e258b45a0889 (patch) | |
tree | 21a7b4748941f66b0e7dcc0dfc51f5348ffa3b4b /src/config | |
parent | 6a06e111ebfbb8bbf69f4539863ae2d5d62794f9 (diff) | |
download | chawan-88a43edc6a915890a1864e912669e258b45a0889.tar.gz |
config: support smart case
and enable it by default.
Diffstat (limited to 'src/config')
-rw-r--r-- | src/config/config.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/config/config.nim b/src/config/config.nim index 1ab77f01..3d4a0217 100644 --- a/src/config/config.nim +++ b/src/config/config.nim @@ -81,7 +81,7 @@ type SearchConfig = object wrap* {.jsgetset.}: bool - ignore_case* {.jsgetset.}: bool + ignore_case* {.jsgetset.}: Option[bool] EncodingConfig = object display_charset* {.jsgetset.}: Option[Charset] |