Next: , Previous: , Up: Miscellaneous   [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.