REDUCE IDE supports a small amount of customization. The following edit-mode user options can be changed using the standard Emacs customization facilities. The main REDUCE customization group is called “REDUCE”, under which are the two sub-groups “REDUCE Interface” and “REDUCE Format & Display” and two hooks.
REDUCE IDE font-lock support can be customized by resetting standard font-lock variables (see Font-lock support for automatic font selection).
Customization of REDUCE run mode is documented separately. See Customization of REDUCE run mode.
|• Interface:||Interface customization|
|• Format & Display:||Format and display customization|
|• Hooks:||REDUCE mode hooks|