1 # IDLE reads several config files to determine user preferences. This
2 # file is the default config file for general idle settings.
4 # When IDLE starts
, it will look in
5 # the following two sets of files
, in order
:
7 # default configuration
8 #
---------------------
9 # config
-main.def the default general config file
10 # config
-extensions.def the default extension config file
11 # config
-highlight.def the default highlighting config file
12 # config
-keys.def the default keybinding config file
16 # ~
/.idlerc
/idle
-main.cfg the user general config file
17 # ~
/.idlerc
/idle
-extensions.cfg the user extension config file
18 # ~
/.idlerc
/idle
-highlight.cfg the user highlighting config file
19 # ~
/.idlerc
/idle
-keys.cfg the user keybinding config file
21 # Any options the user saves through the config dialog will be saved to
22 # the relevant user config file. Reverting any general setting to the
23 # default causes that entry to be wiped from the user file and re
-read
24 # from the default file. User highlighting themes or keybinding sets are
25 # retained unless specifically deleted within the config dialog. Choosing
26 # one of the default themes or keysets just applies the relevant settings
27 # from the default file.
31 print
-command
-posix
=lpr
%s
32 print
-command
-win
=start
/min notepad
/p
%s
51 name
= IDLE Classic Windows
54 #additional help sources
, must be viewable by an html browser
55 #will be listed on the Help
/Other Help menu
56 #option names are the sequence number of the option
57 #values take the form
: menu item
;/path
/to
/help
/source
58 #obviously you can
't use a semi-colon in a menu item or path and the path will
59 #be platform specific because of path separators, drive specs etc.
61 #1= My Extra Help Source;/usr/share/doc/foo/index.html
62 #2= Another Help Source;/path/to/another.html
65 #this section will only be present in the user config file idle-main.cfg
66 #where it will record the most recently openned files in the form
67 #IndexNum= /full/path/of/file , for display on the File/Recent Files menu
68 #it is present here for reference only
70 #1=/most/recently/openned/file
71 #2=/next/most/recently/openned/file