blob: 47a2e52da01f17042259d5f79b57074f1bbcd690 [file] [log] [blame]
Steven M. Gavac11ccf32001-09-24 09:43:17 +00001# IDLE reads several config files to determine user preferences. This
2# file is the default config file for general idle settings.
3#
4# When IDLE starts, it will look in
5# the following two sets of files, in order:
6#
7# default configuration
8# ---------------------
9# config-main.def the default general config file
10# config-extensions.def the default extension config file
11# config-highlight.def the default highlighting config file
12# config-keys.def the default keybinding config file
13#
14# user configuration
15# -------------------
16# ~/.idlerc/idle-main.cfg the user general config file
17# ~/.idlerc/idle-extensions.cfg the user extension config file
18# ~/.idlerc/idle-highlight.cfg the user highlighting config file
19# ~/.idlerc/idle-keys.cfg the user keybinding config file
20# XXX what about Windows?
21#
22# Any options the user saves through the config dialog will be saved to
23# the relevant user config file. Reverting any general setting to the
24# default causes that entry to be wiped from the user file and re-read
25# from the default file. User highlighting themes or keybinding sets are
26# retained unless specifically deleted within the config dialog. Choosing
27# one of the default themes or keysets just applies the relevant settings
28# from the default file.
29
30[General]
31run-in-separate-process= 1
32
33[EditorWindow]
34width= 80
35height= 24
36font= courier
37font-size= 12
38
39[Indent]
40use-spaces= 1
41num-spaces= 4
42tab-cols= 4
43
44[Theme]
45user= 0
46name= "IDLE Classic New"
47
48[Keys]
49user= 0
50name= "IDLE Classic - windows"
51
52[RecentFiles]
531=
542=
553=
564=
575=
586=
597=
608=
619=
6210=
63