5 Nov
2005
5 Nov
'05
8:51 a.m.
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.