diff INSTALL @ 8296:b2b493c007ff

(imenu-choose-buffer-index): Use last-nonmenu-event to decide on mouse vs non-mouse. (imenu-progress-message): New arg prevpos. All callers changed. Don't print messages too frequently.
author Richard M. Stallman <rms@gnu.org>
date Wed, 20 Jul 1994 07:41:16 +0000
parents e520e9f9a8d9
children 0d3e8a3551b1
line wrap: on
line diff