Steven M. Gava | c11ccf3 | 2001-09-24 09:43:17 +0000 | [diff] [blame] | 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/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 |
| 20 | # XXX what about Windows? |
| 21 | # |
| 22 | # Any options the user saves through the config dialog will be saved to |
| 23 | # the relevant user config file. Reverting any general setting to the |
| 24 | # default causes that entry to be wiped from the user file and re-read |
| 25 | # from the default file. User highlighting themes or keybinding sets are |
| 26 | # retained unless specifically deleted within the config dialog. Choosing |
| 27 | # one of the default themes or keysets just applies the relevant settings |
| 28 | # from the default file. |
| 29 | |
| 30 | [General] |
| 31 | run-in-separate-process= 1 |
| 32 | |
| 33 | [EditorWindow] |
| 34 | width= 80 |
| 35 | height= 24 |
| 36 | font= courier |
| 37 | font-size= 12 |
| 38 | |
| 39 | [Indent] |
| 40 | use-spaces= 1 |
| 41 | num-spaces= 4 |
| 42 | tab-cols= 4 |
| 43 | |
| 44 | [Theme] |
| 45 | user= 0 |
| 46 | name= "IDLE Classic New" |
| 47 | |
| 48 | [Keys] |
| 49 | user= 0 |
| 50 | name= "IDLE Classic - windows" |
| 51 | |
| 52 | [RecentFiles] |
| 53 | 1= |
| 54 | 2= |
| 55 | 3= |
| 56 | 4= |
| 57 | 5= |
| 58 | 6= |
| 59 | 7= |
| 60 | 8= |
| 61 | 9= |
| 62 | 10= |
| 63 | |