diff options
author | Steven M. Gava <elguavas@python.net> | 2001-09-24 09:43:17 +0000 |
---|---|---|
committer | Steven M. Gava <elguavas@python.net> | 2001-09-24 09:43:17 +0000 |
commit | 7e90273f2a91e76639a1678c05e5a7e08b7f0396 (patch) | |
tree | 183cef91b047d7415c083a664be7b5586a0466b2 /Lib/idlelib/config-main.def | |
parent | 4dbdbcc850bf0a21e887feebb6c96f61a39cc23c (diff) | |
download | cpython-7e90273f2a91e76639a1678c05e5a7e08b7f0396.tar.gz |
start of new config handling stuff
Diffstat (limited to 'Lib/idlelib/config-main.def')
-rw-r--r-- | Lib/idlelib/config-main.def | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/Lib/idlelib/config-main.def b/Lib/idlelib/config-main.def new file mode 100644 index 0000000000..47a2e52da0 --- /dev/null +++ b/Lib/idlelib/config-main.def @@ -0,0 +1,63 @@ +# 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= + |