|
1 # IDLE reads several config files to determine user preferences. This |
|
2 # file is the default config file for general idle settings. |
|
3 # |
|
4 # When IDLE starts, it will look in |
|
5 # the following two sets of files, in order: |
|
6 # |
|
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 |
|
13 # |
|
14 # user configuration |
|
15 # ------------------- |
|
16 # ~/.idlerc/config-main.cfg the user general config file |
|
17 # ~/.idlerc/config-extensions.cfg the user extension config file |
|
18 # ~/.idlerc/config-highlight.cfg the user highlighting config file |
|
19 # ~/.idlerc/config-keys.cfg the user keybinding config file |
|
20 # |
|
21 # On Windows2000 and Windows XP the .idlerc directory is at |
|
22 # Documents and Settings\<username>\.idlerc |
|
23 # |
|
24 # On Windows98 it is at c:\.idlerc |
|
25 # |
|
26 # Any options the user saves through the config dialog will be saved to |
|
27 # the relevant user config file. Reverting any general setting to the |
|
28 # default causes that entry to be wiped from the user file and re-read |
|
29 # from the default file. User highlighting themes or keybinding sets are |
|
30 # retained unless specifically deleted within the config dialog. Choosing |
|
31 # one of the default themes or keysets just applies the relevant settings |
|
32 # from the default file. |
|
33 # |
|
34 # Additional help sources are listed in the [HelpFiles] section and must be |
|
35 # viewable by a web browser (or the Windows Help viewer in the case of .chm |
|
36 # files). These sources will be listed on the Help menu. The pattern is |
|
37 # <sequence_number = menu item;/path/to/help/source> |
|
38 # You can't use a semi-colon in a menu item or path. The path will be platform |
|
39 # specific because of path separators, drive specs etc. |
|
40 # |
|
41 # It is best to use the Configuration GUI to set up additional help sources! |
|
42 # Example: |
|
43 #1 = My Extra Help Source;/usr/share/doc/foo/index.html |
|
44 #2 = Another Help Source;/path/to/another.pdf |
|
45 |
|
46 [General] |
|
47 editor-on-startup= 0 |
|
48 autosave= 0 |
|
49 print-command-posix=lpr %s |
|
50 print-command-win=start /min notepad /p %s |
|
51 delete-exitfunc= 1 |
|
52 |
|
53 [EditorWindow] |
|
54 width= 80 |
|
55 height= 40 |
|
56 font= courier |
|
57 font-size= 10 |
|
58 font-bold= 0 |
|
59 encoding= none |
|
60 |
|
61 [FormatParagraph] |
|
62 paragraph=70 |
|
63 |
|
64 [Indent] |
|
65 use-spaces= 1 |
|
66 num-spaces= 4 |
|
67 |
|
68 [Theme] |
|
69 default= 1 |
|
70 name= IDLE Classic |
|
71 |
|
72 [Keys] |
|
73 default= 1 |
|
74 name= IDLE Classic Windows |
|
75 |
|
76 [History] |
|
77 cyclic=1 |
|
78 |
|
79 [HelpFiles] |