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.

Bob, please include Kevin in the Cc: as he has found the solution, and he would be the one to ask. I was merely MITM.

Kevin, could you please answer Bob's question?

Bob wrote

...

Forwarding Kevin's solution to the list, for the reason of archiving:

...

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.

Thanks for sending the solution.

Does this solution work when gtk-wimp is enabled? I did not see any difference. From the sparse docs for gtk-wimp, I get the suggestion that wimp takes its font settings from Windows.