| # 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 files in idlelib |
| # -------------------------------------- |
| # config-main.def default general config file |
| # config-extensions.def default extension config file |
| # config-highlight.def default highlighting config file |
| # config-keys.def default keybinding config file |
| # |
| # user configuration files in ~/.idlerc |
| # ------------------------------------- |
| # config-main.cfg user general config file |
| # config-extensions.cfg user extension config file |
| # config-highlight.cfg user highlighting config file |
| # config-keys.cfg user keybinding config file |
| # |
| # On Windows, the default location of the home directory ('~' above) |
| # depends on the version. For Windows 10, it is C:\Users\<username>. |
| # |
| # Any options the user saves through the config dialog will be saved to |
| # the relevant user config file. Reverting any general or extension |
| # setting to the default causes that entry to be wiped from the user |
| # file and re-read from the default file. This rule applies to each |
| # item, except that the three editor font items are saved as a group. |
| # |
| # User highlighting themes and keybinding sets must have (section) names |
| # distinct from the default names. All items are added and saved as a |
| # group. They 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. |
| # |
| # Additional help sources are listed in the [HelpFiles] section below |
| # and should be viewable by a web browser (or the Windows Help viewer in |
| # the case of .chm files). These sources will be listed on the Help |
| # menu. The pattern, and two examples, are: |
| # |
| # <sequence_number = menu item;/path/to/help/source> |
| # 1 = IDLE;C:/Programs/Python36/Lib/idlelib/help.html |
| # 2 = Pillow;https://pillow.readthedocs.io/en/latest/ |
| # |
| # You can't use a semi-colon in a menu item or path. The path will be |
| # platform specific because of path separators, drive specs etc. |
| # |
| # The default files should not be edited except to add new sections to |
| # config-extensions.def for added extensions. The user files should be |
| # modified through the Settings dialog. |
| |
| [General] |
| editor-on-startup= 0 |
| autosave= 0 |
| print-command-posix=lpr %%s |
| print-command-win=start /min notepad /p %%s |
| delete-exitfunc= 1 |
| |
| [EditorWindow] |
| width= 80 |
| height= 40 |
| font= TkFixedFont |
| # For TkFixedFont, the actual size and boldness are obtained from tk |
| # and override 10 and 0. See idlelib.config.IdleConf.GetFont |
| font-size= 10 |
| font-bold= 0 |
| encoding= none |
| line-numbers-default= 0 |
| |
| [PyShell] |
| auto-squeeze-min-lines= 50 |
| |
| [Indent] |
| use-spaces= 1 |
| num-spaces= 4 |
| |
| [Theme] |
| default= 1 |
| name= IDLE Classic |
| name2= |
| # name2 set in user config-main.cfg for themes added after 2015 Oct 1 |
| |
| [Keys] |
| default= 1 |
| name= |
| name2= |
| # name2 set in user config-main.cfg for keys added after 2016 July 1 |
| |
| [History] |
| cyclic=1 |
| |
| [HelpFiles] |