BTW, this also happens in terminator for me. Javier, thank you for reporting back. Those versions in experimental are actually older than what it is in jaunty. The version number also suggests that these packages did not come from Debian. It is still very feasible that Debian discovered and applied a patch for exactly this kind of problem but which is not in Ubuntu.
http://patch-tracking.debian.net/package/vte/1:0.17.4-1 http://patch-tracking.debian.net/package/gnome-terminal/2.24.3-1 -- 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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
