diff options
| author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 23:16:20 -0400 |
|---|---|---|
| committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 23:16:20 -0400 |
| commit | b6db70f088a0bd42ad7e37c4b7a8db27dd154843 (patch) | |
| tree | 079b29efc7aa3f449b9e31b54821ce7b8812eaf6 /config | |
| parent | 93d2a18674e6c9c929aeb08c489488fd7b185f04 (diff) | |
rename case_sensitive_ext to case_insensitive_ext
- make case_insensitive_ext option work with themes as well
Diffstat (limited to 'config')
| -rw-r--r-- | config/joshuto.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/joshuto.toml b/config/joshuto.toml index 7e37573..d6a4235 100644 --- a/config/joshuto.toml +++ b/config/joshuto.toml @@ -6,7 +6,7 @@ use_trash = true watch_files = true xdg_open = false xdg_open_fork = false -case_sensitive_ext = false +case_insensitive_ext = false custom_commands = [] |