71 lines
2.4 KiB
Modula-2
71 lines
2.4 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.
|
|
|
|
[General]
|
|
editor-on-startup= 1
|
|
|
|
[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]
|
|
#additional help sources, must be viewable by an html browser
|
|
#will be listed on the Help/Other Help menu
|
|
#option names are the sequence number of the option
|
|
#values take the form: menu item;/path/to/help/source
|
|
#obviously you can't use a semi-colon in a menu item or path and the path will
|
|
#be platform specific because of path separators, drive specs etc.
|
|
#eg.:
|
|
#1= My Extra Help Source;/usr/share/doc/foo/index.html
|
|
#2= Another Help Source;/path/to/another.html
|
|
|
|
#[RecentFiles]
|
|
#this section will only be present in the user config file idle-main.cfg
|
|
#where it will record the most recently openned files in the form
|
|
#IndexNum= /full/path/of/file , for display on the File/Recent Files menu
|
|
#it is present here for reference only
|
|
#eg.:
|
|
#1=/most/recently/openned/file
|
|
#2=/next/most/recently/openned/file
|
|
#etc.
|