On Sun, 9 Aug 2015 15:17:31 +0200 win...@genial.ms wrote: >>[Debian] > They have a single jar containing both parts of the library, like the one > I found.
Not AFAICT. https://packages.debian.org/jessie/all/libjorbis-java/filelist shows their package contains separate jogg.jar and jorbis.jar. Sid is similar. Not that packing it together buys us that much. >>[fonts] > As the header font is only sparsely used, we could check each string using: > if(font.canDisplayUpTo(string) != -1) font=normalfont; OK, please do that. That takes out the guesswork. > > So how does Java choose its fonts? > > My understanding is it first checks the fonts provided by the OS for some > font similar to what was requested (serif/sansserif/whatever) and then > falls back to private fonts placed in $JAVA_HOME/lib/fonts . > I see there are 8 Lucida*.ttf files, in an incomplete set of > Bright/Sans/Typewriter and regular/(demi)italic/(demi)bold combinations. Not seeing that here. I suspect that is a packaging decision. When I wrote a trivial program to list the fonts available to Java, I got a list of the same order as the output of xlsfonts(1), so I think there has been some effort by RedHat to make installed fonts visible. Cheers, Mike Pope
pgp6mA_oX7gYu.pgp
Description: OpenPGP digital signature
------------------------------------------------------------------------------
_______________________________________________ Freecol-developers mailing list Freecol-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/freecol-developers
