It seems that the reasons for removing this feature were about touchpad usability, so one compromise would be to limit this gesture to actual physical mouse wheels, not translated events from touchpads, touchscreens etc.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1807603 Title: Unable to scroll tabs of GNOME Terminal with mouse wheel To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1807603/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
