Merge pull request #176 from ksonj/case-sensitivity

basic: declare option to set smartcase or ignorecase
This commit is contained in:
NotAShelf 2023-10-28 17:00:52 +03:00 committed by GitHub
commit e498331ce7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 0 deletions

View file

@ -146,6 +146,18 @@ in {
${optionalString (cfg.leaderKey != null) '' ${optionalString (cfg.leaderKey != null) ''
let mapleader = "${toString cfg.leaderKey}" let mapleader = "${toString cfg.leaderKey}"
''} ''}
${optionalString (cfg.searchCase == "ignore") ''
set nosmartcase
set ignorecase
''}
${optionalString (cfg.searchCase == "smart") ''
set noignorecase
set smartcase
''}
${optionalString (cfg.searchCase == "sensitive") ''
set noignorecase
set nosmartcase
''}
''; '';
}; };
} }

View file

@ -178,5 +178,11 @@ with builtins; {
}; };
enableLuaLoader = mkEnableOption "experimental Lua module loader to speed up the start up process"; enableLuaLoader = mkEnableOption "experimental Lua module loader to speed up the start up process";
searchCase = mkOption {
type = types.enum ["ignore" "smart" "sensitive"];
default = "sensitive";
description = "Set the case sensitivity of search";
};
}; };
} }