[PyMOL] Font size

[David B. <bo...@re...>]

Hello.  I posted a couple of weeks ago regarding getting stereo working 
on our ultra-high resolution display at UNC-Chapel Hill.  The stereo is 
working great, and looks very nice.  However, there is still the issue 
of the font size being to small for such a high resolution display.  It 
is quite a strain on the eyes to read the menus, both for the external 
and internal guis.  I can't find any option for setting this, but is 
there must be a way to set this from either a python script or by 
hacking the source.  Does anyone have any suggestions?  Thanks,

David