diff options
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= + |
