config-main.def 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
  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 files in idlelib
  8. # --------------------------------------
  9. # config-main.def default general config file
  10. # config-extensions.def default extension config file
  11. # config-highlight.def default highlighting config file
  12. # config-keys.def default keybinding config file
  13. #
  14. # user configuration files in ~/.idlerc
  15. # -------------------------------------
  16. # config-main.cfg user general config file
  17. # config-extensions.cfg user extension config file
  18. # config-highlight.cfg user highlighting config file
  19. # config-keys.cfg user keybinding config file
  20. #
  21. # On Windows, the default location of the home directory ('~' above)
  22. # depends on the version. For Windows 10, it is C:\Users\<username>.
  23. #
  24. # Any options the user saves through the config dialog will be saved to
  25. # the relevant user config file. Reverting any general or extension
  26. # setting to the default causes that entry to be wiped from the user
  27. # file and re-read from the default file. This rule applies to each
  28. # item, except that the three editor font items are saved as a group.
  29. #
  30. # User highlighting themes and keybinding sets must have (section) names
  31. # distinct from the default names. All items are added and saved as a
  32. # group. They are retained unless specifically deleted within the config
  33. # dialog. Choosing one of the default themes or keysets just applies the
  34. # relevant settings from the default file.
  35. #
  36. # Additional help sources are listed in the [HelpFiles] section below
  37. # and should be viewable by a web browser (or the Windows Help viewer in
  38. # the case of .chm files). These sources will be listed on the Help
  39. # menu. The pattern, and two examples, are:
  40. #
  41. # <sequence_number = menu item;/path/to/help/source>
  42. # 1 = IDLE;C:/Programs/Python36/Lib/idlelib/help.html
  43. # 2 = Pillow;https://pillow.readthedocs.io/en/latest/
  44. #
  45. # You can't use a semi-colon in a menu item or path. The path will be
  46. # platform specific because of path separators, drive specs etc.
  47. #
  48. # The default files should not be edited except to add new sections to
  49. # config-extensions.def for added extensions. The user files should be
  50. # modified through the Settings dialog.
  51. [General]
  52. editor-on-startup= 0
  53. autosave= 0
  54. print-command-posix=lpr %%s
  55. print-command-win=start /min notepad /p %%s
  56. delete-exitfunc= 1
  57. [EditorWindow]
  58. width= 80
  59. height= 40
  60. cursor-blink= 1
  61. font= TkFixedFont
  62. # For TkFixedFont, the actual size and boldness are obtained from tk
  63. # and override 10 and 0. See idlelib.config.IdleConf.GetFont
  64. font-size= 10
  65. font-bold= 0
  66. encoding= none
  67. line-numbers-default= 0
  68. [PyShell]
  69. auto-squeeze-min-lines= 50
  70. [Indent]
  71. use-spaces= 1
  72. num-spaces= 4
  73. [Theme]
  74. default= 1
  75. name= IDLE Classic
  76. name2=
  77. # name2 set in user config-main.cfg for themes added after 2015 Oct 1
  78. [Keys]
  79. default= 1
  80. name=
  81. name2=
  82. # name2 set in user config-main.cfg for keys added after 2016 July 1
  83. [History]
  84. cyclic=1
  85. [HelpFiles]