The racket/gui/base library supports a number of preferences for global configuration. The 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 put-preferences. Except for the except the 'GRacket:playcmd preference preference, the racket/gui/base library reads each of the preferences below once at startup.
Beware: The preferences file is read in case-insensitive mode (for historical reasons), so the symbols listed below must be surrounded with |.
The following are the preference names used by GRacket:
'GRacket:defaultMenuPrefix preference —
sets the prefix used by default for menu item shortcuts on Unix, one of 'ctl, 'meta, or 'alt. The default is 'ctl. When this preference is set to 'meta or 'alt, underlined mnemonics (introduced by & in menu labels) are suppressed.
'GRacket:wheelStep preference —
sets the default mouse-wheel step size of editor-canvas% objects.
'GRacket:playcmd preference —
used to format a sound-playing command; see play-sound for details.
In each of the above cases, if no preference value is found using the GRacket-prefixed name, a MrEd-prefixed name is tried for backward compatibility.