# 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 print-command-posix=lpr %s print-command-win=start /min notepad /p %s [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.