diff make-dist @ 8365:2d49d0dc9fc3

(buffer-menu): Undo previous change. Instead, save the point value that list-buffers set up and go back there after switching windows.
author Richard M. Stallman <rms@gnu.org>
date Thu, 28 Jul 1994 06:23:17 +0000
parents cdd772d2e59f
children f7ae124181cd
line wrap: on
line diff