Editor font in IDLE (Linux)

[Bryan Mongeau]

> Hi,
> 
> There's a hint in the EditorWindow module for changing the default font
> and size for Win32 users.
> What can a Linux IDLE user do to change the extreme small and ugly font
> used in
> IDLE (0.5) ?
> 
> TIA
> 
> Gilles
> 

This is what I did ( shame-faced hack... ):

grep through the file config-unix.txt .

Change lines "font-name=" and "font-size=" to whatever you want. I use 
terminal, size 12.

enjoy.

-- 
<==================================>
Bryan Mongeau
Lead Developer, Director
eEvolved Real-Time Technologies Inc.
www.eevolved.com
<==================================>

"Whoever undertakes to set himself up as a judge of Truth and Knowledge is 
shipwrecked by the laughter of the gods."-- Einstein