[Tutor] Font sizes in Idle

[Danny Yoo]

On Wed, 19 Jun 2002 alan.gauld@bt.com wrote:

> There is a FAQ entry on this someplace I think.
>
> Basically you have to go into one of the IDLE source
> files(editor.py?) and change the fonts manually
> - they are hard coded!
>
> Unless that's changed recently, I haven't had to do that for a few
> releases since I'm not using IDLE on Linux...

It's changed recently; the IDLE developers pushed out the configuration
stuff into a set of files called config-win.txt, config-unix.txt, or
config-mac.txt.  Einar is running on Red Hat, so config-unix.txt is the
file to fix.


Good luck!