64 lines
1.6 KiB
Modula-2
64 lines
1.6 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
|
|
# XXX what about Windows?
|
|
#
|
|
# 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]
|
|
run-in-separate-process= 1
|
|
|
|
[EditorWindow]
|
|
width= 80
|
|
height= 24
|
|
font= courier
|
|
font-size= 12
|
|
|
|
[Indent]
|
|
use-spaces= 1
|
|
num-spaces= 4
|
|
tab-cols= 4
|
|
|
|
[Theme]
|
|
user= 0
|
|
name= "IDLE Classic New"
|
|
|
|
[Keys]
|
|
user= 0
|
|
name= "IDLE Classic - windows"
|
|
|
|
[RecentFiles]
|
|
1=
|
|
2=
|
|
3=
|
|
4=
|
|
5=
|
|
6=
|
|
7=
|
|
8=
|
|
9=
|
|
10=
|
|
|