| # IDLE reads several config files to determine user preferences. This |
| # file is the default config file for general idle settings. |
| # |
| # When IDLE starts, it will look in |
| # the following two sets of files, in order: |
| # |
| # default configuration |
| # --------------------- |
| # config-main.def the default general config file |
| # config-extensions.def the default extension config file |
| # config-highlight.def the default highlighting config file |
| # config-keys.def the default keybinding config file |
| # |
| # user configuration |
| # ------------------- |
| # ~/.idlerc/idle-main.cfg the user general config file |
| # ~/.idlerc/idle-extensions.cfg the user extension config file |
| # ~/.idlerc/idle-highlight.cfg the user highlighting config file |
| # ~/.idlerc/idle-keys.cfg the user keybinding config file |
| # |
| # Any options the user saves through the config dialog will be saved to |
| # the relevant user config file. Reverting any general setting to the |
| # default causes that entry to be wiped from the user file and re-read |
| # from the default file. User highlighting themes or keybinding sets are |
| # retained unless specifically deleted within the config dialog. Choosing |
| # one of the default themes or keysets just applies the relevant settings |
| # from the default file. |
| |
| [General] |
| run-in-separate-process= 1 |
| help-browser= "" |
| |
| [HelpFiles] |
| idle="IDLE _Help","" |
| python="_Python Documentation","" |
| #additional help sources |
| 1= |
| 2= |
| 3= |
| 4= |
| 5= |
| 6= |
| 7= |
| 8= |
| 9= |
| 10= |
| |
| [EditorWindow] |
| editor-on-startup= 0 |
| width= 80 |
| height= 30 |
| font= courier |
| font-size= 12 |
| |
| [Indent] |
| use-spaces= 1 |
| num-spaces= 4 |
| tab-cols= 4 |
| |
| [Theme] |
| default= 1 |
| name= IDLE Classic |
| |
| [Keys] |
| default= 1 |
| name= IDLE Classic Windows |
| |
| [RecentFiles] |
| 1= |
| 2= |
| 3= |
| 4= |
| 5= |
| 6= |
| 7= |
| 8= |
| 9= |
| 10= |
| |