1 Overview
Windowing
Drawing
Editor
2 Reference
Windowing Classes
Windowing Functions
Drawing Classes
Drawing Functions
Editor Classes
Editor Functions
WXME Decoding
3 Configuration
4 Dynamic Loading
Index
Version: 4.0.2

 

3.1 Preferences

MrEd supports a number of preferences for global configuration. The MrEd preferences are stored in the common file reported by find-system-path for 'pref-file, and preference values can be retrieved and changed through get-preference and set-preference. However, MrEd reads most preferences once at startup (all except the 'MrEd:playcmd preference).

The following are the (case-sensitive) preference names used by MrEd:

In addition, preference names built from font face names can provide or override default entries for the font-name-directory<%>; see Font Configuration for information.