In gnome-terminal 2.28 and earlier, scrolling with the mouse cursor over the tab bar switched between tabs. This seems to be broken in cosmic's 2.30.
In gnome-terminal 2.28 and earlier, scrolling with the mouse cursor over the tab bar switched between tabs. This seems to be broken in cosmic's 2.30.