** mouse-menu-buffer-maxlen has been renamed to<BR>
mouse-buffer-menu-maxlen to be consistent with the other related
function and variable names.
<P>