Remove terminal_wheel_up/down_button UI option
It seems nobody uses it, and it is not plugged through anyway. Closes #2642
This commit is contained in:
parent
e839c64375
commit
b841f3a214
|
@ -353,9 +353,6 @@ are exclusively available to built-in options.
|
||||||
boolean option that can disable color palette changing if the
|
boolean option that can disable color palette changing if the
|
||||||
terminfo enables it but the terminal does not support it.
|
terminfo enables it but the terminal does not support it.
|
||||||
|
|
||||||
*terminal_wheel_down_button*, *terminal_wheel_up_button*:::
|
|
||||||
specify which button send for wheel down/up events
|
|
||||||
|
|
||||||
*terminal_shift_function_key*:::
|
*terminal_shift_function_key*:::
|
||||||
Function key from which shifted function key start, if the
|
Function key from which shifted function key start, if the
|
||||||
terminal sends F13 for <s-F1>, this should be set to 12.
|
terminal sends F13 for <s-F1>, this should be set to 12.
|
||||||
|
|
|
@ -546,8 +546,6 @@ void register_options()
|
||||||
" terminal_set_title bool\n"
|
" terminal_set_title bool\n"
|
||||||
" terminal_enable_mouse bool\n"
|
" terminal_enable_mouse bool\n"
|
||||||
" terminal_change_colors bool\n"
|
" terminal_change_colors bool\n"
|
||||||
" terminal_wheel_up_button int\n"
|
|
||||||
" terminal_wheel_down_button int\n"
|
|
||||||
" terminal_wheel_scroll_amount int\n"
|
" terminal_wheel_scroll_amount int\n"
|
||||||
" terminal_shift_function_key int\n",
|
" terminal_shift_function_key int\n",
|
||||||
UserInterface::Options{});
|
UserInterface::Options{});
|
||||||
|
|
|
@ -1434,8 +1434,6 @@ void TerminalUI::set_ui_options(const Options& options)
|
||||||
m_shift_function_key = find("terminal_shift_function_key").map(str_to_int_ifp).value_or(default_shift_function_key);
|
m_shift_function_key = find("terminal_shift_function_key").map(str_to_int_ifp).value_or(default_shift_function_key);
|
||||||
|
|
||||||
enable_mouse(find("terminal_enable_mouse").map(to_bool).value_or(true));
|
enable_mouse(find("terminal_enable_mouse").map(to_bool).value_or(true));
|
||||||
m_wheel_up_button = find("terminal_wheel_up_button").map(str_to_int_ifp).value_or(4);
|
|
||||||
m_wheel_down_button = find("terminal_wheel_down_button").map(str_to_int_ifp).value_or(5);
|
|
||||||
m_wheel_scroll_amount = find("terminal_wheel_scroll_amount").map(str_to_int_ifp).value_or(3);
|
m_wheel_scroll_amount = find("terminal_wheel_scroll_amount").map(str_to_int_ifp).value_or(3);
|
||||||
|
|
||||||
m_padding_char = find("terminal_padding_char").map([](StringView s) { return s.column_length() < 1 ? ' ' : s[0_char]; }).value_or(Codepoint{'~'});
|
m_padding_char = find("terminal_padding_char").map([](StringView s) { return s.column_length() < 1 ? ' ' : s[0_char]; }).value_or(Codepoint{'~'});
|
||||||
|
|
|
@ -144,8 +144,6 @@ private:
|
||||||
void enable_mouse(bool enabled);
|
void enable_mouse(bool enabled);
|
||||||
|
|
||||||
bool m_mouse_enabled = false;
|
bool m_mouse_enabled = false;
|
||||||
int m_wheel_up_button = 4;
|
|
||||||
int m_wheel_down_button = 5;
|
|
||||||
int m_wheel_scroll_amount = 3;
|
int m_wheel_scroll_amount = 3;
|
||||||
int m_mouse_state = 0;
|
int m_mouse_state = 0;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user