# 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 #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] 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=