Remove tab scrolling workaround
Submitted by Egmont Koblinger
Link to original bug (#793824)
"Tab scrolling was removed from GtkNotebook in gtk 3, so reimplement it here" – says gnome-terminal twice: for the regular terminal tabs, and for the profile prefs.
There's at least two problems with this feature:
Movement along both axes are handled. Vertical moment is converted to horizontal so that the traditional mouse wheel is usable. Handling horizontal is desired for the more intuitive behavior with touchpads. This results in "/"-diagonal touchpad movement crazily jumping back and forth between tabs. Even if the finger movement is intended to be horizontal or vertical, small deviations might cause occasional steps in the opposite direction. (This is actually a pretty common usability bug present on plenty of webpages.)
With "natural scrolling", the behavior is the opposite of what's expected. The mapping of up->right and down->left is at least unusual, but swapping left and right is just bad. I'm not sure but at first glimpse it doesn't seem to me that scrolling events have a "natural" flag, so we'd need to keep an eye on the GNOME-wide setting in order to swap it back.
I guess that these might have been some of the reasons why GTK+ decided not to handle physical scroll events where their interpretation would be something else than actually scrolling some contents.
I vote for just accepting GTK+'s decision here, and not workaround in a way that has these two problems.
(Plus, it doesn't work on the merged prefs's sidebar, and I really don't feel like adding this workaround there too, even despite that it wouldn't suffer from the diagonal issue.)
Resolution: RESOLVED FIXED