10 Preferences🔗

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:

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.