diff build-ins.in @ 4114:5746e25610f8

(revert-buffer): Make menu-enable form more accurate using revert-buffer-function and verify-visited-file-modtime. (menu-bar-help-menu): Put back under global-map. (menu-bar-final-items): Set it.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jul 1993 01:43:00 +0000
parents ce011f7cd03f
children b0eeade85c1f
line wrap: on
line diff