search

gp1313 / iep

Automatically exported from code.google.com/p/iep
0 stars 0 forks source link

How to change font? #135

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
I want to change font in editor and interpreter from current font "Courier New" 
to "Consolas".

What would be right way to do that?

Original issue reported on code.google.com by klo...@gmail.com on 19 Dec 2012 at 4:20

GoogleCodeExporter commented 8 years ago 
Pleas ask questions in the mailing list. This list is for issues.

The current version does not yet provide a way to change the font. You'd have 
to edit the source code to change the font.

In help about check the "IEP source directory". Then open 
iep/source/dir/codeeditor/base.py. Edit line 136 to set the font to your 
preference.

Original comment by almar.klein@gmail.com on 19 Dec 2012 at 7:32