• Home
  • Raw
  • Download

Lines Matching +full:user +full:- +full:config

1 # IDLE reads several config files to determine user preferences.  This
2 # file is the default config file for general idle settings.
8 # --------------------------------------
9 # config-main.def default general config file
10 # config-extensions.def default extension config file
11 # config-highlight.def default highlighting config file
12 # config-keys.def default keybinding config file
14 # user configuration files in ~/.idlerc
15 # -------------------------------------
16 # config-main.cfg user general config file
17 # config-extensions.cfg user extension config file
18 # config-highlight.cfg user highlighting config file
19 # config-keys.cfg user keybinding config file
24 # Any options the user saves through the config dialog will be saved to
25 # the relevant user config file. Reverting any general or extension
26 # setting to the default causes that entry to be wiped from the user
27 # file and re-read from the default file. This rule applies to each
30 # User highlighting themes and keybinding sets must have (section) names
32 # group. They are retained unless specifically deleted within the config
45 # You can't use a semi-colon in a menu item or path. The path will be
49 # config-extensions.def for added extensions. The user files should be
53 editor-on-startup= 0
55 print-command-posix=lpr %%s
56 print-command-win=start /min notepad /p %%s
57 delete-exitfunc= 1
62 cursor-blink= 1
65 # and override 10 and 0. See idlelib.config.IdleConf.GetFont
66 font-size= 10
67 font-bold= 0
69 line-numbers-default= 0
72 auto-squeeze-min-lines= 50
75 use-spaces= 1
76 num-spaces= 4
82 # name2 set in user config-main.cfg for themes added after 2015 Oct 1
88 # name2 set in user config-main.cfg for keys added after 2016 July 1