2016-12-05 10:08:37 |
Sebastian |
description |
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=70965e71db7d1c2fac0237988344972b564c46b5) 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. |
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=70965e71db7d1c2fac0237988344972b564c46b5) and mate-terminal (https://github.com/mate-desktop/mate-terminal/issues/133) have reimplemented the feature.
Would you please consider reimplementing it in terminator as well? I find the feature very useful. |
|