Next: , Previous: , Up: Top   [Contents][Index]

13 Customization of REDUCE IDE

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.