mirror of
https://github.com/python/cpython.git
synced 2025-10-28 09:10:36 +00:00
8e92bf7699
M EditorWindow.py M NEWS.txt M config-main.def M configDialog.py M configHandler.py M configHelpSourceEdit.py M configSectionNameDialog.py - Change default: IDLE now starts with Python Shell. - Removed the File Path from the Additional Help Sources scrolled list. - Add capability to access Additional Help Sources on the web if the Help File Path begins with //http or www. (Otherwise local path is validated, as before.) - Additional Help Sources were not being posted on the Help menu in the order entered. Implement sorting the list by [HelpFiles] 'option' number. - Add Browse button to New Help Source dialog. Arrange to start in Python/Doc if platform is Windows, otherwise start in current directory. - Put the Additional Help Sources directly on the Help menu instead of in an Extra Help cascade menu. Rearrange the Help menu so the Additional Help Sources come last. Update help.txt appropriately. - Fix Tk root pop-ups in configSectionNameDialog.py and configDialog.py
65 lines
2.2 KiB
Modula-2
65 lines
2.2 KiB
Modula-2
# 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
|
|
# ---------------------
|
|
# config-main.def the default general config file
|
|
# config-extensions.def the default extension config file
|
|
# config-highlight.def the default highlighting config file
|
|
# config-keys.def the default keybinding config file
|
|
#
|
|
# user configuration
|
|
# -------------------
|
|
# ~/.idlerc/idle-main.cfg the user general config file
|
|
# ~/.idlerc/idle-extensions.cfg the user extension config file
|
|
# ~/.idlerc/idle-highlight.cfg the user highlighting config file
|
|
# ~/.idlerc/idle-keys.cfg the user keybinding config file
|
|
#
|
|
# Any options the user saves through the config dialog will be saved to
|
|
# the relevant user config file. Reverting any general setting to the
|
|
# default causes that entry to be wiped from the user file and re-read
|
|
# from the default file. User highlighting themes or keybinding sets 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 and must 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 is
|
|
# <sequence_number = menu item;/path/to/help/source>
|
|
# 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.
|
|
#
|
|
# It is best to use the Configuration GUI to set up additional help sources!
|
|
# Example:
|
|
#1 = My Extra Help Source;/usr/share/doc/foo/index.html
|
|
#2 = Another Help Source;/path/to/another.pdf
|
|
|
|
[General]
|
|
editor-on-startup= 0
|
|
print-command-posix=lpr %s
|
|
print-command-win=start /min notepad /p %s
|
|
|
|
[EditorWindow]
|
|
width= 80
|
|
height= 30
|
|
font= courier
|
|
font-size= 12
|
|
font-bold= 0
|
|
|
|
[Indent]
|
|
use-spaces= 1
|
|
num-spaces= 4
|
|
|
|
[Theme]
|
|
default= 1
|
|
name= IDLE Classic
|
|
|
|
[Keys]
|
|
default= 1
|
|
name= IDLE Classic Windows
|
|
|
|
[HelpFiles]
|