3.1 Preferences

GRacket supports a number of preferences for global configuration. The GRacket 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. However, GRacket reads most preferences once at startup (all except the 'GRacket:playcmd preference).

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

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.