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 = [] |