From 342d8f778029c3e14bcc6f5ef7d6525fd1ab466c Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Mon, 8 Oct 2001 22:49:12 +0000 Subject: [PATCH] Update outdated text about how to fix the font. --- Tools/idle/help.txt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/Tools/idle/help.txt b/Tools/idle/help.txt index a5d9a73b68f..63327d7d81f 100644 --- a/Tools/idle/help.txt +++ b/Tools/idle/help.txt @@ -123,10 +123,11 @@ Syntax colors: 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) + Most preferences can be changed by editing one of the + configuration text files: config.txt (generic) or one of + config-unix.txt, config-win.txt, config.mac.txt (platform + specific). User-specific preferences can be stored in + $HOME/.idle, which overrides the config*.txt files. To change keyboard bindings, edit Bindings.py