An unintended regression has surfaced in the migration from gtk2 to gtk3: it's no longer possible to switch tabs by mouse wheel scrolling on the tab bar. I noticed the difference when I updated from the official Ubuntu version (0.98) to the one in the PPA (1.90). I guess it's caused by https://bugzilla.gnome.org/show_bug.cgi?id=630226.
An unintended regression has surfaced in the migration from gtk2 to gtk3: it's no longer possible to switch tabs by mouse wheel scrolling on the tab bar. I noticed the difference when I updated from the official Ubuntu version (0.98) to the one in the PPA (1.90). I guess it's caused by https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 630226.
At least gnome-terminal (https:/ /git.gnome. org/browse/ gnome-terminal/ commit/ ?id=70965e71db7 d1c2fac02379883 44972b564c46b5) and mate-termainal (https:/ /github. com/mate- desktop/ mate-terminal/ issues/ 133) has reimplemented the feature.
Would you please consider reimplementing it in terminator as well? I find the feature very useful.