Next: Running REDUCE in an Emacs window, Previous: Miscellaneous minor features, Up: REDUCE Integrated Development Environment [Contents][Index]
REDUCE IDE supports a small amount of customization. The following REDUCE mode options can be changed using the standard Emacs customization facilities. The main REDUCE customization group is called “REDUCE”, under which are two hooks and the four sub-groups “REDUCE Display”, “REDUCE Format”, “REDUCE Interface” and “REDUCE Run.
REDUCE mode inherits from prog-mode, so some of its options
also affects this mode. The prog-mode customization group can
be accessed via a link in the REDUCE customization group.
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.