I just upgraded to Ubuntu 20.04 and I am unable to toggle between the tabs in the terminal with the mouse wheel, which was fine in 18.04. I can't find where this feature is enabled. Is it possible that this feature has been removed?
I just upgraded to Ubuntu 20.04 and I am unable to toggle between the tabs in the terminal with the mouse wheel, which was fine in 18.04. I can't find where this feature is enabled. Is it possible that this feature has been removed?
This functionality was removed by GNOME developers.
I can confirm this issue and reported it already against 19.04, 19.10 and 20.04 LTS as bug 1807603 to launchpad.
Possible alternative - use MATE Terminal (
sudo apt-get install mate-terminal
) or switch to the MATE DE completely bysudo apt-get install ubuntu-mate-desktop^
as we can't predict what else is broken in the newest GNOME Shell.