OK then, I'm closing this bug. At any rate, thanks for reporting your problem!
** Changed in: gnome-terminal (Ubuntu) Status: Needs Info => Rejected -- gnome-terminal crashes https://launchpad.net/bugs/63874 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs