comparison CSP2/CSP2_env/env-d9b9114564458d9d-741b3de822f2aaca6c6caa4325c4afce/lib/python3.8/idlelib/config-main.def @ 68:5028fdace37b

planemo upload commit 2e9511a184a1ca667c7be0c6321a36dc4e3d116d
author jpayne
date Tue, 18 Mar 2025 16:23:26 -0400
parents
children
comparison
equal deleted inserted replaced
67:0e9998148a16 68:5028fdace37b
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
52 [General]
53 editor-on-startup= 0
54 autosave= 0
55 print-command-posix=lpr %%s
56 print-command-win=start /min notepad /p %%s
57 delete-exitfunc= 1
58
59 [EditorWindow]
60 width= 80
61 height= 40
62 cursor-blink= 1
63 font= TkFixedFont
64 # For TkFixedFont, the actual size and boldness are obtained from tk
65 # and override 10 and 0. See idlelib.config.IdleConf.GetFont
66 font-size= 10
67 font-bold= 0
68 encoding= none
69 line-numbers-default= 0
70
71 [PyShell]
72 auto-squeeze-min-lines= 50
73
74 [Indent]
75 use-spaces= 1
76 num-spaces= 4
77
78 [Theme]
79 default= 1
80 name= IDLE Classic
81 name2=
82 # name2 set in user config-main.cfg for themes added after 2015 Oct 1
83
84 [Keys]
85 default= 1
86 name=
87 name2=
88 # name2 set in user config-main.cfg for keys added after 2016 July 1
89
90 [History]
91 cyclic=1
92
93 [HelpFiles]