diff options
author | Steven M. Gava <elguavas@python.net> | 2001-09-24 09:43:17 (GMT) |
---|---|---|
committer | Steven M. Gava <elguavas@python.net> | 2001-09-24 09:43:17 (GMT) |
commit | c11ccf35f413e73ed02a0dfc945ed11b11b94fe0 (patch) | |
tree | 13db3a4102a19b17a0ace9f2ab3339fe02c70c23 /Lib/idlelib/config-main.def | |
parent | fa26f7cc3955dbeecbc616928e7b434ea99fa118 (diff) | |
download | cpython-c11ccf35f413e73ed02a0dfc945ed11b11b94fe0.zip cpython-c11ccf35f413e73ed02a0dfc945ed11b11b94fe0.tar.gz cpython-c11ccf35f413e73ed02a0dfc945ed11b11b94fe0.tar.bz2 |
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 0000000..47a2e52 --- /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= + |