I've put screenshot only with: - default system font (antialiased, too big for my taste) http://dominique.pelle.free.fr/pic/antialiased-term.png
- the MiscFixed font, non antialiased (better in my opinion). http://dominique.pelle.free.fr/pic/non-antialiased-term.png I'm not saying it should be the default font, but at least GNOME terminal should allow user to pick non antialiased fonts without having to tweak, reconfigure package etc. ** Description changed: 1/ In the GNOME terminal settings, it is not possible to select a non anti-aliased font by default. I personally find this very annoying. Anti-aliased fonts are great for plenty of things, but for a terminal, I very much prefer a crisp, small, non anti aliased font. - OK, after tweaking a but, it is possible to set up an anti aliased font, but it's definitely - not easy for newbies. I managed to use the MiscFixed font by looking information + OK, after tweaking a bit, it is possible to set up a non anti aliased font, but it's definitely + not easy for newbies. I managed to use the MiscFixed font by looking at information posted here: http://izumi.plan99.net/blog/index.php/2007/04/15/non-antialiased-fonts- in-gnome-terminal/ I can't remember now exactly how I did it (it was a while ago) but I think I needed - to reconfigure a font rendering package to allow non anti aliased font. + to reconfigure a font rendering package to allow for non anti aliased font. - With the non antialiaded MiscFixed font, the GNOME terminal is also faster, and allows + With the non antialiased MiscFixed font, the GNOME terminal is also faster, and allows to chose a very small fonts (so I can put more terminals on the screen). This is not a bug, but something on the wishlist. I think it's fairly important though because the GNOME terminal is one of the most important application of Ubuntu. 2/ As an additional remark, when selecting a font in the GNOME terminal, most of - the available fonts are non fixed size. I think it does not make much sense to used + the available fonts are non fixed size. I think it does not make much sense to use a non fixed font size in a terminal. It's also hard to spot the fixed font size among all the variable size fonts. Perhaps fixed font size should be somehow highlighted, or variable size fonts should perhaps even be filtered out by default (with a checkbox to allow them) -- [suggestion] allow to pick non anti-aliased fonts un GNOME terminal https://bugs.launchpad.net/bugs/165039 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
