How to change the default font i Sun Java?

Hund · 2010-10-14 05:21:56

I'm feeling really stupid atm, I found the Wiki page* about changing the font. But I couldnt get it to work, so I would appreciate if someone could explain it for me how to change the font to Sans.

* http://wiki.archlinux.org/index.php/Jav … _-_Sun_JRE

thisoldman · 2010-10-14 10:59:51

'Sans' is an alias for another font. To find the font that will be substituted when an app calls for the 'Sans' font use 'fc-match':

thisoldman@archlinux ~ $ fc-match Sans
DejaVuSans.ttf: "DejaVu Sans" "Book"

This tells me 'Sans' is actually 'DejaVu Sans Book'. The results will vary from user to user depending on how they have their fonts configured.

Using 'xfontsel' I eventually find I want something based on

-*-dejavu sans-medium-*-*-*-*-*-*-*-*-*-*-*

After further exploration using 'xfontsel', the appropriate sections of my /opt/java/jre/lib/fontconfig.properties are finally written as:

sansserif.plain.latin-1=-misc-dejavu sans-medium-r-normal-*-*-%d-*-*-p-*-iso8859-1
sansserif.bold.latin-1=-misc-dejavu sans-bold-r-normal-*-*-%d-*-*-p-*-iso8859-1
sansserif.italic.latin-1=-misc-dejavu sans-medium-o-normal-*-*-%d-*-*-p-*-iso8859-1
sansserif.bolditalic.latin-1=-misc-dejavu sans-bold-o-normal-*-*-%d-*-*-p-*-iso8859-1

dialog.plain.latin-1=-misc-dejavu sans-medium-r-normal-*-*-%d-*-*-p-*-iso8859-1
dialog.bold.latin-1=-misc-dejavu sans-bold-r-normal-*-*-%d-*-*-p-*-iso8859-1
dialog.italic.latin-1=-misc-dejavu sans-medium-o-normal-*-*-%d-*-*-p-*-iso8859-1
dialog.bolditalic.latin-1=-misc-dejavu sans-bold-o-normal-*-*-%d-*-*-p-*-iso8859-1

Hund · 2010-10-14 13:52:07

Thanks! That worked. How do I change the text size? It's a bit small now, I would like to have size 8-9.

thisoldman · 2010-10-15 04:21:22

I've never tried to specify an exact font size; I've always let the java app select its own default.

Arch Linux

#1 2010-10-14 05:21:56

How to change the default font i Sun Java?

#2 2010-10-14 10:59:51

Re: How to change the default font i Sun Java?

#3 2010-10-14 13:52:07

Re: How to change the default font i Sun Java?

#4 2010-10-15 04:21:22

Re: How to change the default font i Sun Java?

Board footer