It doesn't scale too well with gnome-terminal either when there's multiple tabs open.
-- Bad close icon https://launchpad.net/bugs/46801 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
