Using +/- keys to scale font size seems to be extremely sluggish also, likely related. At it's worst, the entire terminal goes white and will render the text only after switching tabs and/or moving cursor over the window.
-- 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
