found the upstream related one:
http://bugzilla.gnome.org/show_bug.cgi?id=453193 that's fixed already
there though, thanks.
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplete => Fix Committed
** Also affects: gnome-terminal via
http://bugzilla.gnome.org/show_bug.cgi?id=453193
Importance: Unknown
Status: Unknown
--
Using Ctrl-PgUp and Ctrl-PgDn to switch tabs results in garbage on command line
https://bugs.launchpad.net/bugs/279480
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs