Wingware Python IDE

Home » Support » Index of All Documentation » Wing IDE Reference Manual » Customization » Preferences »

Wing's preferences manager runs on a layered set of preferences files. An installation-wide preferences file may be placed inside WINGHOME and individual users can override these values from the Preferences GUI in Wing's Edit menu (or by manually placing a preferences file in the User Settings Directory). The values given in the user-specific preferences file take precedence over any values in the default WINGHOME/preferences file. Note that a file at WINGHOME/preferences must contain all preferences in a section with delimiter set to [global-preferences] instead of [user-preferences], as is used for the user-specific file in the User Settings Directory.

It is also possible to specify additional preferences files on the command line though the --prefs-file option. For example:

wing4.1 --prefs-file /path/to/myprefs

Any file specified in this way will override values stored in the per-user or installation-wide preferences files. These files must contain all preferences in a section marked [extra-preferences] (as opposed to [user-preferences], which is used in the regular users preferences file).