diff make-dist @ 2026:3514a9bf50c5

(electric-buffer-list): Handle any kind of event. (Electric-buffer-menu-exit): Handle any key sequence.
author Richard M. Stallman <rms@gnu.org>
date Sat, 06 Mar 1993 06:05:12 +0000
parents 4b2a76f0d640
children 0b629ab3f06a
line wrap: on
line diff