nathan/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2026-06-05 21:02:51 +00:00
Code Issues 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
committed by Robert Helgesson
parent f6196e5b4d
commit adc677d02e
1 changed files with 0 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
modules/programs/kakoune.nix
View File

@@ -313,30 +313,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 {
type = types.nullOr types.ints.unsigned;
default = null;
@@ -346,14 +322,6 @@ let
should be `12`.
'';
};
useBuiltinKeyParser = mkOption {
type = types.bool;
default = false;
description = ''
Bypass ncurses key parser and use an internal one.
'';
};
};
}
);
@@ -594,13 +562,9 @@ let
"terminal_status_on_top=${if (statusLine == "top") then "true" else "false"}"
"terminal_assistant=${assistant}"
"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
) "terminal_shift_function_key=${toString shiftFunctionKeys}"}"
"terminal_builtin_key_parser=${if useBuiltinKeyParser then "true" else "false"}"
];
userModeString =