** Tags added: eoan -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1807603
Title: Unable to scroll tabs of GNOME Terminal with mouse wheel Status in gnome-terminal package in Ubuntu: Confirmed Bug description: Steps to reproduce: 1. Install Ubuntu 19.04 2. Open GNOME Terminal 3. Open several tabs in GNOME Terminal 4. Put mouse cursor over tab of GNOME Terminal and rotate mouse wheel Expected behavior: * GNOME Terminal reacts on mouse wheel and allows to select tab by it Actual behavior: * GNOME Terminal does not react on mouse wheel ProblemType: Bug DistroRelease: Ubuntu 19.04 Package: gnome-terminal 3.30.1-1ubuntu1 ProcVersionSignature: Ubuntu 4.18.0-12.13-generic 4.18.17 Uname: Linux 4.18.0-12-generic x86_64 ApportVersion: 2.20.10-0ubuntu14 Architecture: amd64 Date: Sun Dec 9 20:12:15 2018 ProcEnviron: TERM=xterm-256color PATH=(custom, no user) LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1807603/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
