Public bug reported:
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)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: apport-bug disco
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, 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
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1807603/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
