[newbie] Changing font in Advanced Text Editor

[Michael O'Henly]

Hi...

Am I missing something or is it really not possible to change the font in the 
Advanced Text Editor?

I'd like to use a different fixed-width font, but I can't see how to change 
it...

Cheers.

M.

-- 
Michael O'Henly
TENZO Design