Reported. https://launchpad.net/ubuntu/+source/gnome-terminal/+bug/88504
-- gnome-terminal reacting very sluggishly https://launchpad.net/bugs/85575 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
