Fix horizontal and page scroll on GTK3
commit604eac9f06e506a2b8a1e2cc04992f32cf3bb426
authorColomban Wendling <ban@herbesfolles.org>
Mon, 23 Apr 2018 23:19:13 +0000 (23 20:19 -0300)
committerColomban Wendling <ban@herbesfolles.org>
Tue, 24 Apr 2018 22:19:56 +0000 (24 19:19 -0300)
tree483edeed7aee38e6c9de5313d23a4579e258eeb5
parent1611e3f94960a821ced0af9b99052afa6ade2111
Fix horizontal and page scroll on GTK3

Our custom scroll handler for horizontal (Shift+Scroll) and page
(Alt+Scroll) scroll didn't properly check the scroll direction and
assume that if it's not down it's up.  This was mostly not a problem
because the other types only were left and right scroll events, which
are a lot less common.

However, it became a lot more problematic with GTK 3.4 that introduced
"smooth scrolling", and thus a new scroll type that can happen for
events in any direction.  We then would scroll up (as we assume "not
down" is up) regardless of the actual direction of the event.

It's still not clear why we'd get smooth scroll events on X11 as no
code I can find asks for it and we generally don't get those, but
sometimes a Scintilla widget starts receiving them, leading to the bug.
On Wayland on the other hand, Scintilla asks for smooth scroll events,
so we need to have a fix for it in any case.
src/editor.c