FM / idlelib

/opt/imh/python3.13/lib/python3.13/idlelib/

/opt/imh/python3.13/lib/python3.13/idlelib

Name	Size	Mode	Actions
Icons/	-	0755	rm
__pycache__/	-	0755	rm
autocomplete.py	9354	0644	edit dl rm
autocomplete_w.py	20863	0644	edit dl rm
autoexpand.py	3216	0644	edit dl rm
browser.py	8588	0644	edit dl rm
calltip.py	7267	0644	edit dl rm
calltip_w.py	7083	0644	edit dl rm
ChangeLog	56360	0644	edit dl rm
codecontext.py	11420	0644	edit dl rm
colorizer.py	14783	0644	edit dl rm
config-extensions.def	2266	0644	edit dl rm
config-highlight.def	2864	0644	edit dl rm
config-keys.def	10910	0644	edit dl rm
config-main.def	3168	0644	edit dl rm
config.py	38403	0644	edit dl rm
configdialog.py	105303	0644	edit dl rm
config_key.py	15230	0644	edit dl rm
CREDITS.txt	2148	0644	edit dl rm
debugger.py	20997	0644	edit dl rm
debugger_r.py	12115	0644	edit dl rm
debugobj.py	4177	0644	edit dl rm
debugobj_r.py	1082	0644	edit dl rm
delegator.py	1044	0644	edit dl rm
dynoption.py	1993	0644	edit dl rm
editor.py	69557	0644	edit dl rm
extend.txt	3632	0644	edit dl rm
filelist.py	3871	0644	edit dl rm
format.py	15777	0644	edit dl rm
grep.py	7521	0644	edit dl rm
help.html	60566	0644	edit dl rm
help.py	11843	0644	edit dl rm
help_about.py	9023	0644	edit dl rm
history.py	4065	0644	edit dl rm
HISTORY.txt	10313	0644	edit dl rm
hyperparser.py	12889	0644	edit dl rm
idle.bat	177	0644	edit dl rm
idle.py	454	0644	edit dl rm
idle.pyw	570	0644	edit dl rm
iomenu.py	16159	0644	edit dl rm
macosx.py	9290	0644	edit dl rm
mainmenu.py	3938	0644	edit dl rm
multicall.py	18652	0644	edit dl rm
NEWS2x.txt	27172	0644	edit dl rm
News3.txt	56818	0644	edit dl rm
outwin.py	5705	0644	edit dl rm
parenmatch.py	7204	0644	edit dl rm
pathbrowser.py	3093	0644	edit dl rm
percolator.py	3568	0644	edit dl rm
pyparse.py	19864	0644	edit dl rm
pyshell.py	62484	0755	edit dl rm
query.py	15067	0644	edit dl rm
README.txt	11653	0644	edit dl rm
redirector.py	6832	0644	edit dl rm
replace.py	9798	0644	edit dl rm
rpc.py	21078	0644	edit dl rm
run.py	21877	0644	edit dl rm
runscript.py	8273	0644	edit dl rm
scrolledlist.py	4478	0644	edit dl rm
search.py	5567	0644	edit dl rm
searchbase.py	7852	0644	edit dl rm
searchengine.py	7372	0644	edit dl rm
sidebar.py	20327	0644	edit dl rm
squeezer.py	12834	0644	edit dl rm
stackviewer.py	4016	0644	edit dl rm
statusbar.py	1474	0644	edit dl rm
textview.py	6808	0644	edit dl rm
TODO.txt	8477	0644	edit dl rm
tooltip.py	6665	0644	edit dl rm
tree.py	16773	0644	edit dl rm
undo.py	11016	0644	edit dl rm
util.py	1312	0644	edit dl rm
window.py	2616	0644	edit dl rm
zoomheight.py	4203	0644	edit dl rm
zzdummy.py	2005	0644	edit dl rm
__init__.py	396	0644	edit dl rm
__main__.py	107	0644	edit dl rm

Edit: /opt/imh/python3.13/lib/python3.13/idlelib/config-main.def (3168B)

# 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]

cmd: