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 /res | |
| 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 'res')
| -rw-r--r-- | res/config.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/res/config.toml b/res/config.toml index 39650567..e8f651db 100644 --- a/res/config.toml +++ b/res/config.toml @@ -5,6 +5,7 @@ headless = false [search] wrap = true +ignore-case = true [encoding] document-charset = ["utf-8", "sjis", "euc-jp", "latin2"] |