Richard M. Stallman 75a209d4bc Add menu items and xrefs to the menu bar menu. ...

(Info-check-pointer): New function.
(Info-mode-menu): New menu.
(Info-menu-last-node): New variable.
(Info-menu-update): New function.
(Info-mode): Add `Info-menu-update' to `activate-menubar-hook'.

1996-09-01 20:43:10 +00:00

68 KiB

Raw Blame History

View Raw