Is there a way to change the font in the Grace editor and console? I just did a fresh build from SVN and everything is oblique... Thanks! Joel