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] 47editor-on-startup= 0 48autosave= 0 49print-command-posix=lpr %s 50print-command-win=start /min notepad /p %s 51delete-exitfunc= 1 52 53[EditorWindow] 54width= 80 55height= 40 56font= TkFixedFont 57font-size= 10 58font-bold= 0 59encoding= none 60 61[Indent] 62use-spaces= 1 63num-spaces= 4 64 65[Theme] 66default= 1 67name= IDLE Classic 68name2= 69# name2 set in user config-main.cfg for themes added after 2015 Oct 1 70 71[Keys] 72default= 1 73name= IDLE Classic Windows 74 75[History] 76cyclic=1 77 78[HelpFiles] 79