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 /src/terminal_ui.cc | |
| 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
Diffstat (limited to 'src/terminal_ui.cc')
| -rw-r--r-- | src/terminal_ui.cc | 2 |
1 files changed, 0 insertions, 2 deletions
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{'~'}); |