File manager - Edit - /opt/imh/python3.13/lib/python3.13/idlelib/config-main.def
Back
# 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 files in idlelib # -------------------------------------- # config-main.def default general config file # config-extensions.def default extension config file # config-highlight.def default highlighting config file # config-keys.def default keybinding config file # # user configuration files in ~/.idlerc # ------------------------------------- # config-main.cfg user general config file # config-extensions.cfg user extension config file # config-highlight.cfg user highlighting config file # config-keys.cfg user keybinding config file # # On Windows, the default location of the home directory ('~' above) # depends on the version. For Windows 10, it is C:\Users\<username>. # # Any options the user saves through the config dialog will be saved to # the relevant user config file. Reverting any general or extension # setting to the default causes that entry to be wiped from the user # file and re-read from the default file. This rule applies to each # item, except that the three editor font items are saved as a group. # # User highlighting themes and keybinding sets must have (section) names # distinct from the default names. All items are added and saved as a # group. They 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 below # and should 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, and two examples, are: # # <sequence_number = menu item;/path/to/help/source> # 1 = IDLE;C:/Programs/Python36/Lib/idlelib/help.html # 2 = Pillow;https://pillow.readthedocs.io/en/latest/ # # 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. # # The default files should not be edited except to add new sections to # config-extensions.def for added extensions. The user files should be # modified through the Settings dialog. [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 cursor-blink= 1 font= TkFixedFont # For TkFixedFont, the actual size and boldness are obtained from tk # and override 10 and 0. See idlelib.config.IdleConf.GetFont font-size= 10 font-bold= 0 encoding= none line-numbers-default= 0 [PyShell] auto-squeeze-min-lines= 50 [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= name2= # name2 set in user config-main.cfg for keys added after 2016 July 1 [History] cyclic=1 [HelpFiles]
| ver. 1.4 |
Github
|
.
| PHP 8.3.31 | Generation time: 0.03 |
proxy
|
phpinfo
|
Settings