trAvis Anonymous File Manager

Edit File: config-main.def

# 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/config-main.cfg the user general config file # ~/.idlerc/config-extensions.cfg the user extension config file # ~/.idlerc/config-highlight.cfg the user highlighting config file # ~/.idlerc/config-keys.cfg the user keybinding config file # # On Windows2000 and Windows XP the .idlerc directory is at # Documents and Settings\<username>\.idlerc # # On Windows98 it is at c:\.idlerc # # 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. # # Additional help sources are listed in the [HelpFiles] section and must 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 is # <sequence_number = menu item;/path/to/help/source> # 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. # # It is best to use the Configuration GUI to set up additional help sources! # Example: #1 = My Extra Help Source;/usr/share/doc/foo/index.html #2 = Another Help Source;/path/to/another.pdf [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 font-size= 10 font-bold= 0 encoding= none [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= IDLE Classic Windows [History] cyclic=1 [HelpFiles]