Font in tkinter / idle

[H.V.Taylor]

"Robert Hicks" <rhicks at rma.edu> wrote:

>you want to edit EditorWindow.py:
>
>if sys.platform[:3] == 'win':
>            text['font'] = ("verdana", 10)
>#            text['font'] = ("courier new", 10)
snip....

Thanks, that had been bugging me for a couple of weeks now :-) You've
just saved me the trouble of rebooting into Linux or BeOS for my
scripting.
Harold