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 /test/highlight/replace-empty-range/script | |
| 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 'test/highlight/replace-empty-range/script')
0 files changed, 0 insertions, 0 deletions