# 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= 24 font= courier font-size= 12 [Indent] use-spaces= 1 num-spaces= 4 tab-cols= 4 [Theme] default= 1 name= IDLE Classic New [Keys] default= 1 name= IDLE Classic - windows [RecentFiles] 1= 2= 3= 4= 5= 6= 7= 8= 9= 10=