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