Lib/idlelib/config-main.def

   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/idle-main.cfg            the user general config file
  17 #     ~/.idlerc/idle-extensions.cfg      the user extension config file
  18 #     ~/.idlerc/idle-highlight.cfg       the user highlighting config file
  19 #     ~/.idlerc/idle-keys.cfg            the user keybinding config file
  20 #
  21 # Any options the user saves through the config dialog will be saved to
  22 # the relevant user config file. Reverting any general setting to the
  23 # default causes that entry to be wiped from the user file and re-read
  24 # from the default file. User highlighting themes or keybinding sets are
  25 # retained unless specifically deleted within the config dialog. Choosing
  26 # one of the default themes or keysets just applies the relevant settings
  27 # from the default file.
  28
  29 [General]
  30 run-in-separate-process= 1
  31 help-browser= ""
  32
  33 [HelpFiles]
  34 idle="IDLE _Help",""
  35 python="_Python Documentation",""
  36 #additional help sources
  37 1=
  38 2=
  39 3=
  40 4=
  41 5=
  42 6=
  43 7=
  44 8=
  45 9=
  46 10=
  47
  48 [EditorWindow]
  49 editor-on-startup= 0
  50 width= 80
  51 height= 24
  52 font= courier
  53 font-size= 12
  54
  55 [Indent]
  56 use-spaces= 1
  57 num-spaces= 4
  58 tab-cols= 4
  59
  60 [Theme]
  61 default= 1
  62 name= IDLE Classic New
  63
  64 [Keys]
  65 default= 1
  66 name= IDLE Classic - windows
  67
  68 [RecentFiles]
  69 1=
  70 2=
  71 3=
  72 4=
  73 5=
  74 6=
  75 7=
  76 8=
  77 9=
  78 10=
  79