James: You are right. It's a lot better, but there is still a very noticeable (read: annoying) delay when switching between different tabs. -- gnome-terminal reacting very sluggishly https://launchpad.net/bugs/85575