[j@b j]$ grep font-size /usr/lib/python2.2/site-packages/idle/*
/usr/lib/python2.2/site-packages/idle/config-mac.txt:font-size= 9
/usr/lib/python2.2/site-packages/idle/config-unix.txt:font-size= 10
/usr/lib/python2.2/site-packages/idle/config-win.txt:font-size: 10
en modifiantfont-size ca devrait rouler...
j <jb...@aol.com> wrote in message news:<b57jjj$alc$1...@news-reader11.wanadoo.fr>...
En ouvrant l'aide, (F1), on lit ça...
===========
Other preferences:
To change the font on Windows, open EditorWindow.py and change
text['font'] = ("lucida console", 8)
to, e.g.,
text['font'] = ("courier new", 10)
===========
En fait ça fonctionne très bien sous Linux aussi.
--Gilles
"matthieu_mcb" <amal...@ifrance.com> a écrit dans le message de news:
2bf0bf37.0303...@posting.google.com...