Confirming this bug because it happens to several users.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/165039
Title:
[suggestion] allow to pick non anti-aliased fonts un GNOME terminal
Status in “gnome-terminal” package in Ubuntu:
Confirmed
Bug description:
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 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 for non anti aliased font.
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 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)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/165039/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
