Next: , Previous: , Up: Miscellaneous minor features   [Contents][Index]


12.2 Major mode menu

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 autoload-reduce-run. See Customization of REDUCE Run mode.