diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-06-07 18:46:57 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-06-07 18:46:57 +0200 |
commit | 7e4298b9bbc2699433106a24251c8bea58ef0773 (patch) | |
tree | a53c7d86a096f8db0552e01bf7deb8371c438875 /lua/user/options.lua | |
parent | 319440802fe48f7526f5d2b40239e1e6b9ae9db7 (diff) |
Some updates
Diffstat (limited to 'lua/user/options.lua')
-rw-r--r-- | lua/user/options.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lua/user/options.lua b/lua/user/options.lua index 2b2b4f7..a33decb 100644 --- a/lua/user/options.lua +++ b/lua/user/options.lua @@ -15,6 +15,7 @@ local options = { updatetime = 300, splitright = true, splitbelow = true, + ignorecase = true, smartcase = true, mouse = "a", fileencoding = "utf-8", |