I believe these to be the relevant upstream bug reports. Unfortunately, it would appear that fixing this performance issue is not high on the priority list:
https://bugzilla.gnome.org/show_bug.cgi?id=350015 https://bugzilla.gnome.org/show_bug.cgi?id=439247 https://bugzilla.gnome.org/show_bug.cgi?id=532816 https://bugzilla.gnome.org/show_bug.cgi?id=572210 (And unfortunately for us power users, a paper cut this is not since, by the fact that we use the terminal extensively, we are not the average user!) ** Bug watch added: GNOME Bug Tracker #350015 https://bugzilla.gnome.org/show_bug.cgi?id=350015 ** Bug watch added: GNOME Bug Tracker #439247 https://bugzilla.gnome.org/show_bug.cgi?id=439247 ** Bug watch added: GNOME Bug Tracker #532816 https://bugzilla.gnome.org/show_bug.cgi?id=532816 ** Bug watch added: GNOME Bug Tracker #572210 https://bugzilla.gnome.org/show_bug.cgi?id=572210 -- gnome-terminal tabs switch is slow when maximized https://bugs.launchpad.net/bugs/285999 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
