[phenixbb] GUI fonts

Frank von Delft frank.vondelft at sgc.ox.ac.uk
Wed Sep 30 01:20:38 PDT 2009

Hi, I've just been poking around the new GUIs - neat!!

But the font is absolutely enormous, which is terrifically annoying.  
Where do I change it?  (I didn't see it in the preferences.)


More information about the phenixbb mailing list