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.
When REDUCE Run mode is not loaded, it is possible to have an
abbreviated “Run REDUCE” menu instead of the full menu. The
abbreviated menu can only run REDUCE (which implicitly loads REDUCE
Run mode) or explicitly load REDUCE Run mode. Whether or not to load
REDUCE Run mode or install the abbreviated REDUCE Run mode menu when
REDUCE mode loads is controlled by the option
reduce-run-autoload. See REDUCE Run mode customization.