diff options
| author | Maxime Coste <mawww@kakoune.org> | 2021-09-02 20:46:35 +1000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2021-09-02 20:46:35 +1000 |
| commit | b841f3a2142b7a77d29b70b2afda3e9ef471fa93 (patch) | |
| tree | bb0c0e5b733345934f50dc215a69756dfc07bdf0 | |
| parent | e839c6437580eef49fab1c66c3021c258950ce23 (diff) | |
Remove terminal_wheel_up/down_button UI option
It seems nobody uses it, and it is not plugged through anyway.
Closes #2642
| -rw-r--r-- | doc/pages/options.asciidoc | 3 | ||||
| -rw-r--r-- | src/main.cc | 2 | ||||
| -rw-r--r-- | src/terminal_ui.cc | 2 | ||||
| -rw-r--r-- | src/terminal_ui.hh | 2 |
4 files changed, 0 insertions, 9 deletions
diff --git a/doc/pages/options.asciidoc b/doc/pages/options.asciidoc index b71b3ae1..0944e84f 100644 --- a/doc/pages/options.asciidoc +++ b/doc/pages/options.asciidoc @@ -353,9 +353,6 @@ are exclusively available to built-in options. boolean option that can disable color palette changing if the 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*::: Function key from which shifted function key start, if the terminal sends F13 for <s-F1>, this should be set to 12. diff --git a/src/main.cc b/src/main.cc index eb2fbd74..5b8e1b18 100644 --- a/src/main.cc +++ b/src/main.cc @@ -546,8 +546,6 @@ void register_options() " terminal_set_title bool\n" " terminal_enable_mouse 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_shift_function_key int\n", UserInterface::Options{}); diff --git a/src/terminal_ui.cc b/src/terminal_ui.cc index c245ac19..8f635093 100644 --- a/src/terminal_ui.cc +++ b/src/terminal_ui.cc @@ -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); 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_padding_char = find("terminal_padding_char").map([](StringView s) { return s.column_length() < 1 ? ' ' : s[0_char]; }).value_or(Codepoint{'~'}); diff --git a/src/terminal_ui.hh b/src/terminal_ui.hh index 3d2dc1ae..8b1a4cfe 100644 --- a/src/terminal_ui.hh +++ b/src/terminal_ui.hh @@ -144,8 +144,6 @@ private: void enable_mouse(bool enabled); 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_mouse_state = 0; |