comparison 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
comparison
equal deleted inserted replaced
13871:4b5161e903c1 13872:e79f2b570509