| # 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] |
| editor-on-startup= 1 |
| |
| [EditorWindow] |
| width= 80 |
| height= 30 |
| font= courier |
| font-size= 12 |
| font-bold= 0 |
| |
| [Indent] |
| use-spaces= 1 |
| num-spaces= 4 |
| |
| [Theme] |
| default= 1 |
| name= IDLE Classic |
| |
| [Keys] |
| default= 1 |
| name= IDLE Classic Windows |
| |
| [HelpFiles] |
| #additional help sources, must be viewable by an html browser |
| #will be listed on the Help/Other Help menu |
| #option names are the sequence number of the option |
| #values take the form: menu item;/path/to/help/source |
| #obviously you can't use a semi-colon in a menu item or path and the path will |
| #be platform specific because of path separators, drive specs etc. |
| #eg.: |
| #1= My Extra Help Source;/usr/share/doc/foo/index.html |
| #2= Another Help Source;/path/to/another.html |
| |
| #[RecentFiles] |
| #this section will only be present in the user config file idle-main.cfg |
| #where it will record the most recently openned files in the form |
| #IndexNum= /full/path/of/file , for display on the File/Recent Files menu |
| #it is present here for reference only |
| #eg.: |
| #1=/most/recently/openned/file |
| #2=/next/most/recently/openned/file |
| #etc. |