Few fonts to choose (Linux, Java 1.4.2, jEdit 4.2)
Submitted by Thursday, 4 November, 2004 - 16:54
on
Hi all,
I only have extremely few fonts in the font selection dialogues.
It's: Bitstream Charter, Courier, Courier 10 Pitch, Cursor, Default, Dialog, DialogInput, Lucida Bright, Lucida Sans, Lucida Sans Typewriter, Luxi Mono, Luxi Sans, Luxi Serif, Monospaced, SansSerif, Serif, Utopia.
Furthermore, most fonts I choose look the same. For expample, Monospaced and Lucida Sans Typewriter are exactly the same.
I would like to use Bitstream Vera Sans Mono, my favorite font, TrueType, looks a bit like Verdana but even cleaner IMHO, and there's also the mono-version for editing .
I use it everywhere else (except in a terminal). It works with GTK2 font selection dialogs, e.g. with gvim, but not here in jEdit (I guess in other Java apps it also wouldn't work then, but jEdit is the only Java app I use (since 2 days)).
If you need more info (maybe the X11 font paths, but as other font selection dialogues recognize them, it should be all ok...), tell me so I can paste.
I could live with Monospaced (anti-aliased), but it would be cool to have my usual font.
I hope someone can give me some hints on this.
##################################
$ java -version
java version "1.4.2_04"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.2_04-b05)
Java HotSpot(TM) Client VM (build 1.4.2_04-b05, mixed mode)
I only have extremely few fonts in the font selection dialogues.
It's: Bitstream Charter, Courier, Courier 10 Pitch, Cursor, Default, Dialog, DialogInput, Lucida Bright, Lucida Sans, Lucida Sans Typewriter, Luxi Mono, Luxi Sans, Luxi Serif, Monospaced, SansSerif, Serif, Utopia.
Furthermore, most fonts I choose look the same. For expample, Monospaced and Lucida Sans Typewriter are exactly the same.
I would like to use Bitstream Vera Sans Mono, my favorite font, TrueType, looks a bit like Verdana but even cleaner IMHO, and there's also the mono-version for editing .
I use it everywhere else (except in a terminal). It works with GTK2 font selection dialogs, e.g. with gvim, but not here in jEdit (I guess in other Java apps it also wouldn't work then, but jEdit is the only Java app I use (since 2 days)).
If you need more info (maybe the X11 font paths, but as other font selection dialogues recognize them, it should be all ok...), tell me so I can paste.
I could live with Monospaced (anti-aliased), but it would be cool to have my usual font.
I hope someone can give me some hints on this.
##################################
$ java -version
java version "1.4.2_04"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.2_04-b05)
Java HotSpot(TM) Client VM (build 1.4.2_04-b05, mixed mode)