diff make-dist @ 13872:e79f2b570509

(mouse-menu-buffer-maxlen): New variable. (mouse-buffer-menu): Use it.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 Dec 1995 19:43:51 +0000
parents 0923c642e324
children 0a94cd2c51c4
line wrap: on
line diff