Richard M. Stallman 7dea4e70f4 (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.

1994-07-20 07:41:16 +00:00

20 KiB

Raw Blame History

View Raw