diff options
| author | bptato <nincsnevem662@gmail.com> | 2024-02-22 21:36:46 +0100 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2024-02-22 22:23:17 +0100 |
| commit | b2da391458bca7b7f38fc9f03925d704841165c8 (patch) | |
| tree | b64fa5fccc6902e9e5059594738539464f48e649 /src/config | |
| parent | 78ffc938fa7e4baad0a55625026b765d215be1aa (diff) | |
| download | chawan-b2da391458bca7b7f38fc9f03925d704841165c8.tar.gz | |
config: replace default-flags with ignore-case
default-flags was overly complicated for its purpose. Also, ignore-case is quite useful, so 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 79ef263b..c03f7361 100644 --- a/src/config/config.nim +++ b/src/config/config.nim @@ -81,7 +81,7 @@ type SearchConfig = object wrap* {.jsgetset.}: bool - default_flags* {.jsgetset.}: LREFlags + ignore_case* {.jsgetset.}: bool EncodingConfig = object display_charset* {.jsgetset.}: Opt[Charset] |