Javier, this is about Ubuntu. And while usually the other way round, experimental has older versions than Jaunty in this case. Please check http://packages.ubuntu.com/jaunty/libvte9 for example. Your reference to Debian experimental does not help in this case, except to confirm once more that this used to work better at some time in the past.
-- 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
