| |||||||||||||
FontFontPosted Jun 4, 2004 21:39 UTC (Fri) by corbet (editor, #1)In reply to: Font by zutman Parent article: The Grumpy Editor's guide to terminal emulators That one's not bad. Interestingly, you can get it in gnome-terminal, but you have to ask for nine-point to get the same size...
(Log in to post comments)
Font Posted Jun 4, 2004 21:48 UTC (Fri) by zutman (guest, #5077) [Link] Nine points is the one indeed, when you select it the normalGnome/KDE way. That' still something that beriddles me about X font names. What's that '12' doing in the name? Twelfth version? No, I don't want to know, I'm grumpy too. (But the LT makes me lyrical.)
Font Posted Jun 4, 2004 22:05 UTC (Fri) by madscientist (subscriber, #16861) [Link] I've never liked serif fonts like courier for technical uses like terminals or source editors. The serifs make things too hard to read (of course one reason could be my screen is 1600x1400 and my font sizes are none too big :-O :-)).Lucidasans is not too bad, but I can't find a good readable version: 9 is too small, 10 is better but the fonts are vertically large which means I can't fit my 3 rows of xterms anymore, and 12 is far too big all around. For my terminals I use that old standby, "8x13". Simple, clean, and doesn't take a lot of space. BTW, the 12 is the pixel size. I'm not sure why the font selector has both a pixel size (12) and a point size (120). Maybe it's easier to pick by pixel size for bitmapped fonts or something.
Font Posted Jun 4, 2004 22:08 UTC (Fri) by iabervon (subscriber, #722) [Link] That's the pixel size, which is useful for internal purposes, since the program will position the text in pixels (like all of the graphics primitives). Point size is given by multiplying by the resx (or resy) and dividing by 100.
|
|||||||||||||