this is fixed for me on recent vte update -- 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
this is fixed for me on recent vte update -- 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