diff src/w32menu.c @ 16401:249f797c3750

(Buffer-menu-revert): New function. (Buffer-menu-mode-map): Use Buffer-menu-revert for g. (Buffer-menu-mode): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Oct 1996 17:52:50 +0000
parents 07341673efa6
children 481b7874a1e9
line wrap: on
line diff