From 2454ecd586e56546eabffbb8e6bfb36dce08c978 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Wed, 29 Aug 2018 14:04:12 +0200 Subject: [PATCH] Allow for faster scrolling in alternate screen mode --- kitty/mouse.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/kitty/mouse.c b/kitty/mouse.c index 01596b6b6..ff8fab60c 100644 --- a/kitty/mouse.c +++ b/kitty/mouse.c @@ -565,7 +565,12 @@ scroll_event(double UNUSED xoffset, double yoffset, int flags) { } else { if (screen->modes.mouse_tracking_mode) { int sz = encode_mouse_event(w, upwards ? GLFW_MOUSE_BUTTON_4 : GLFW_MOUSE_BUTTON_5, PRESS, 0); - if (sz > 0) { mouse_event_buf[sz] = 0; write_escape_code_to_child(screen, CSI, mouse_event_buf); } + if (sz > 0) { + mouse_event_buf[sz] = 0; + for (s = abs(s); s > 0; s--) { + write_escape_code_to_child(screen, CSI, mouse_event_buf); + } + } } else { fake_scroll(abs(s), upwards); }