On Nov 4, 2005, at 7:14 PM, bulia byak wrote:
On 11/4/05, Ralf Stephan <ralf@...748...> wrote:
I found the answer for Windows2k. Go to C:\Program Files\Common Files\GTK\2.0\etc\fonts.conf
Find the Bitstream Vera Sans header and change it from 7.5 to ?? Menu font size will increase. Thanks for your help.
Bob, can you please make this change in the libs bundle, so it gets into all windows builds? Unfortunately the file is not in CVS so I cannot fix it myself. I do remember fixing exactly this, some time before, but it was probably lost when you switched to a new version of the libs. Can you invent a way to make this file persistent during such upgrades?
Also, this sounds like it could be related with why Asian languages stopped working in the UI. If it's actually setting Vera Sans, we might be blocking fonts with different languages.
I'll be following it up, but it does sound like it could be related to some Mac and non-English problems.