Next: REDUCE IDE version information, Previous: Groups and blocks: delimiter highlighting, Up: Miscellaneous features [Contents][Index]
REDUCE mode adds a major-mode menu called “REDUCE” to the menu bar,
which is also available as a pop-up menu activated by the command
mouse-major-mode-menu on the standard key C-down-mouse-3.
REDUCE Run mode adds a second major-mode menu called “Run REDUCE”,
which appears immediately to the right of the “REDUCE” menu on the
menu bar and immediately below the “REDUCE” menu on the pop-up menu.
It is possible to have the “Run REDUCE” menu displayed even when
REDUCE Run mode is not loaded, which is controlled by the option
reduce-run-autoload. See REDUCE Run mode customization.