How do I change the font in the documentation window?

The default font is a tiny courier, and I'd like to change it.  I'd rather not use courier anywhere.  Where can I change it?  To change the size, there is a preference cog in the upper right, but I can't change the family there.

I'm using OS X Lion.

Thanks!

1 comment
Comment actions Permalink

Hello Ben,

Right now it's not possible to select the font. You can file a feature request

at http://youtrack.jetbrains.net/

The default font is a tiny courier, and I'd like to change it.  I'd

rather not use courier anywhere.  Where can I change it?  To change

the size, there is a preference cog in the upper right, but I can't

change the family there.

I'm using OS X Lion.

--

Dmitry Jemerov

Development Lead

JetBrains, Inc.

http://www.jetbrains.com/

"Develop with Pleasure!"

0

Please sign in to leave a comment.