Re: [ jEdit-users ] Java fonts

[Andy S. <an...@ru...>]

On Saturday 05 November 2005 10:26 pm, Zolt=E1n K=F3csi wrote:
> I'm do not know much about Java so I'd much appreciate if someone could
> tell me, without using Java jargon preferably, how could I make Java
> aware of the fonts installed on my system. Whichever way I look at it,
> the font menu of jEdit is somewhat shorter than in other applications
> plus even for the fonts that are there it gives me the same actual
> typeface (and I know that it is not what I selected). I understand that
> all the fonts are handled by the Java engine.
>
> So, if a good soul could tell me an easy way of 1) adding fonts to the
> Java engine and 2) make the Java engine, when I select say Lucida
> Typewriter use that typeface instead of the Monospaced one that it
> actually uses.
>
> The system is GNU/Linux and both 1.4 and 1.5 java are installed, I
> guess jEdit uses 1.5.

See information here=20
http://java.sun.com/j2se/1.5.0/docs/guide/intl/fontconfig.html might help.

What flavor of GNU/Linux are you using?  On my Debian Sarge system my=20
fontconfig.properties files are in /usr/lib/sun-j2se5.0-jdk/jre/lib.

Andy