28 Jan
2009
28 Jan
'09
10:35 p.m.
Oh, and I forgot to add -- the fonts seem to fix themselves when the window gets redrawn in some way -- unmaximise/maximise, switch to a different workspace, etc. -- Leonid