@ wrote... (11 years, 5 months ago)

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-1.6.0.0.x86_64/jre/lib/fonts (I had to make the fonts directory).

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 ...
Category: tech, Tags: linux
Comments: 0
Click here to add a comment