Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

kakoune: Remove unused options

Browse source
This commit is contained in:
Rosario Pulella 2024-03-05 01:36:38 -05:00
parent 23ff9821bc
commit 20ca27d9ba
1 changed files with 0 additions and 40 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
modules/programs/kakoune.nix
View file

@ -267,30 +267,6 @@ let
''; '';
}; };
changeColors = mkOption {
type = types.bool;
default = true;
description = ''
Change color palette.
'';
};
wheelDownButton = mkOption {
type = types.nullOr types.str;
default = null;
description = ''
Button to send for wheel down events.
'';
};
wheelUpButton = mkOption {
type = types.nullOr types.str;
default = null;
description = ''
Button to send for wheel up events.
'';
};
shiftFunctionKeys = mkOption { shiftFunctionKeys = mkOption {
type = types.nullOr types.ints.unsigned; type = types.nullOr types.ints.unsigned;
default = null; default = null;
@ -300,14 +276,6 @@ let
should be `12`. should be `12`.
''; '';
}; };
useBuiltinKeyParser = mkOption {
type = types.bool;
default = false;
description = ''
Bypass ncurses key parser and use an internal one.
'';
};
}; };
}); });
default = null; default = null;
@ -534,16 +502,8 @@ let
}" }"
"terminal_assistant=${assistant}" "terminal_assistant=${assistant}"
"terminal_enable_mouse=${if enableMouse then "true" else "false"}" "terminal_enable_mouse=${if enableMouse then "true" else "false"}"
"terminal_change_colors=${if changeColors then "true" else "false"}"
"${optionalString (wheelDownButton != null)
"terminal_wheel_down_button=${wheelDownButton}"}"
"${optionalString (wheelUpButton != null)
"terminal_wheel_up_button=${wheelUpButton}"}"
"${optionalString (shiftFunctionKeys != null) "${optionalString (shiftFunctionKeys != null)
"terminal_shift_function_key=${toString shiftFunctionKeys}"}" "terminal_shift_function_key=${toString shiftFunctionKeys}"}"
"terminal_builtin_key_parser=${
if useBuiltinKeyParser then "true" else "false"
}"
]; ];
userModeString = mode: userModeString = mode: