With a recent upload, this is fixed now. And in fact, this report seems to be a duplicate of <https://launchpad.net/bugs/78343>.
-- gnome-terminal reacting very sluggishly https://launchpad.net/bugs/85575 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
