I've not seen the issue since, but I've not used ubuntu much since, either.
I don't know how to reproduce it. -- gnome-terminal hung, eating all CPU https://launchpad.net/bugs/23923 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
