How to change default font in command line?

I've worked out how to change the font in the data browser, capture table and procedure window preferences and set the "default font" which appears to control axis labels in graphs. What I can't work out is how (or whether it is possible) to change the font in the command window? I'd like a font with slashed zeros to more quickly determine O from 0.

Is this possible?

Thanks
Yep, that's true. I just stumbled upon this while skimming through the manual out of boredom / for the sake of completeness.
chozo wrote:
Yep, that's true. I just stumbled upon this while skimming through the manual out of boredom / for the sake of completeness.

Our manual makes excellent bedtime reading. It cures insomnia :)

John Weeks
WaveMetrics, Inc.
support@wavemetrics.com