*** This bug is a duplicate of bug 140540 *** https://bugs.launchpad.net/bugs/140540
I tested it on more than one Computer. It happened only on Edubuntu-desktop installation after the Update today Di Sep 18 2007. the Workaround fixed the problem. -- [gutsy] GNOME terminal has inhumanly small font (estimated point size about 0.2) https://bugs.launchpad.net/bugs/140583 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug contact for gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs