On Saturday 10 December 2005 11:06, Attilio Fiandrotti wrote: > I noticed that gtkrc settings have no effect on fonts eventually used > by the GTK; ATM you can make the GTK frontend use a different font > from freesans only if you hand-delete unwanted other fonts (freefont > directory, in the case). I am still not convinced that we need this option at all for font switching, although we may need it for other features (like changing the theme). My personal feeling is that making sure there are no overlaps between fonts (stripping them so that only needed characters remain) is the best way to proceed. This has the advantage of making sure: - the correct font is used for translations - that English (Latin) text within translations is displayed nicely - font size is reduced as much as possible The only potential complication I've seen so far is the shared code points between CJK languages.
Attachment:
pgpuZ2xvgGUie.pgp
Description: PGP signature