If you're using JEdit but don't like the limited fonts don't blame jedit, blame java. Here's what to do.
Java looks at the X servers fontpath but on my system (Fedora 7) my fontpath consists the font server.
/etc/X11/xorg.conf: FontPath "unix/:7100"
Java does not use a font server.
The easiest thing to do (and what I did) is just pick a font and copy it to
/usr/local/java/lib/fonts/ or maybe
/usr/lib/jvm/java-1.6.0-openjdk-22.214.171.124.x86_64/jre/lib/fonts (I had to make the
So setup your font server let's get a bit trickier.
# this adds font paths to your x server xset +fp /usr/share/fonts/msttcorefonts/ xset +fp ... # you may have to create the fonts.dir (in the font directory) file via # mkfontscale # mkfontdir # make sure you are really starting a fresh jedit and not an existing jedit server jedit # pick your font. Utilities->Global Options->Text Area # put your x server back to normal xset -fp /usr/share/fonts/msttcorefonts/ xset -fp ...