feat: configurable leader key

This commit is contained in:
raf 2023-07-31 13:40:13 +03:00 committed by GitHub
commit c933684647
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 0 deletions

View file

@ -142,6 +142,9 @@ in {
set spell set spell
set spelllang=${toString cfg.spellChecking.language} set spelllang=${toString cfg.spellChecking.language}
''} ''}
${optionalString (cfg.leaderKey != null) ''
let mapleader = "${toString cfg.leaderKey}"
''}
''; '';
}; };
} }

View file

@ -31,6 +31,12 @@ with builtins; {
}; };
}; };
leaderKey = mkOption {
type = with types; nullOr str;
default = null;
description = "The leader key to be used internally";
};
colourTerm = mkOption { colourTerm = mkOption {
type = types.bool; type = types.bool;
default = true; default = true;