Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

idle et police de caractères

170 views
Skip to first unread message

matthieu_mcb

unread,
Mar 18, 2003, 7:32:37 AM3/18/03
to
Bonjour tout le monde,
récemment passé d'un écran 14 pouces à un 19 pouces, je suis un peu
'embêté' pour me servir d' idle, les caractères étant vraiment trop
petits, quelqu'un saurait-il comment faire pour agrandir la police de
caractère?
j'ai cherché des ~/.idle, ~/.idlerc etc..., rien sur internet non
plus. Alors si une personne a la réponse, merci beaucoup pour mes yeux
:-)
au revoir

j

unread,
Mar 18, 2003, 1:01:23 PM3/18/03
to
matthieu_mcb wrote:


[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...

matthieu_mcb

unread,
Mar 19, 2003, 8:18:19 AM3/19/03
to
Merci beaucoup pour cette ligne, ça marche avec python2.2, j'avais
tenté de modifier ce config-unix.txt, mais dans le fichier d'aide il
est écrit qu'il se trouve dans $HOME/.idle, du moins je l'avais
compris comme ça, merci encore pour cette réponse.

j <jb...@aol.com> wrote in message news:<b57jjj$alc$1...@news-reader11.wanadoo.fr>...

Gilles Lenfant

unread,
Mar 24, 2003, 5:24:15 AM3/24/03
to
Et un RTFM, un !

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...

0 new messages