Thedoccal
To change the font right click on the font and halfway down the menu will be Display Options.
There is a "Choose Font" bar and four drop down menus to the right of it.
It's a little weird understanding how it works but it works.
Ah, yes, you can do that in the main application, and I always change the font to Aerial bold. But PG music have confirmed to me that there is (at present) no way to alter the silly Comic Sans font in the DAW plugin. So that's going straight on the wish list...!