Installed a daily build (170207) and the same problem. There is something wrong !
-- 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
