5 Nov
2005
5 Nov
'05
4:25 a.m.
Ralf Stephan 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.
ralf
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.
Bob