dev: add missing navbuddy icons and keybinds

This commit is contained in:
raf 2023-07-24 23:05:07 +03:00
commit 36cf072920
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29
2 changed files with 42 additions and 33 deletions

View file

@ -25,7 +25,13 @@ in {
navbuddy = {
enable = mkEnableOption "navbuddy LSP UI";
useDefaultMappings = mkEnableOption "default Navbuddy keybindings (disables user keybinds)";
# this option is interpreted as null if mkEnableOption is used, and therefore cannot be converted to a string in config.nix
useDefaultMappings = mkOption {
type = types.bool;
default = true;
description = "default Navbuddy keybindings (disables user-specified keybinds)";
};
mappings = {
close = mkOption {
@ -351,6 +357,12 @@ in {
description = "";
};
interface = mkOption {
type = types.str;
default = "󰕘";
description = "";
};
function = mkOption {
type = types.str;
default = "󰊕 ";