How to change default font in command line?

Share icon

Mon, 02/27/2012 - 02:07 am

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.

February 28, 2012 at 12:33 pm - Permalink

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

February 29, 2012 at 09:01 am - Permalink