kakoune: fix ui options (#2641)

These were renamed in v2021.08.28,
commit 7e66846172165eb1f860f26f51f7a20790b0af29.
This commit is contained in:
Robin Stumm 2022-01-17 01:39:41 +01:00 committed by GitHub
parent 94281669fd
commit f71d41ba36
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 9 deletions

View File

@ -530,20 +530,20 @@ let
uiOptions = with cfg.config.ui; uiOptions = with cfg.config.ui;
concatStringsSep " " [ concatStringsSep " " [
"ncurses_set_title=${if setTitle then "true" else "false"}" "terminal_set_title=${if setTitle then "true" else "false"}"
"ncurses_status_on_top=${ "terminal_status_on_top=${
if (statusLine == "top") then "true" else "false" if (statusLine == "top") then "true" else "false"
}" }"
"ncurses_assistant=${assistant}" "terminal_assistant=${assistant}"
"ncurses_enable_mouse=${if enableMouse then "true" else "false"}" "terminal_enable_mouse=${if enableMouse then "true" else "false"}"
"ncurses_change_colors=${if changeColors then "true" else "false"}" "terminal_change_colors=${if changeColors then "true" else "false"}"
"${optionalString (wheelDownButton != null) "${optionalString (wheelDownButton != null)
"ncurses_wheel_down_button=${wheelDownButton}"}" "terminal_wheel_down_button=${wheelDownButton}"}"
"${optionalString (wheelUpButton != null) "${optionalString (wheelUpButton != null)
"ncurses_wheel_up_button=${wheelUpButton}"}" "terminal_wheel_up_button=${wheelUpButton}"}"
"${optionalString (shiftFunctionKeys != null) "${optionalString (shiftFunctionKeys != null)
"ncurses_shift_function_key=${toString shiftFunctionKeys}"}" "terminal_shift_function_key=${toString shiftFunctionKeys}"}"
"ncurses_builtin_key_parser=${ "terminal_builtin_key_parser=${
if useBuiltinKeyParser then "true" else "false" if useBuiltinKeyParser then "true" else "false"
}" }"
]; ];