diff etc/LINUX-GNU @ 30828:26dae0a7f527

(list-buffers-noselect): Set `buffer' as well as 'buffer-menu' property. (Buffer-menu-buffer): Use `buffer' property if `buffer-name' fails. (Buffer-menu-execute): When deleting, test `(and buf (buffer-name buf))', instead of `(Buffer-menu-buffer nil)', to see if buffer wasn't killed.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 15 Aug 2000 21:28:08 +0000
parents 6b5aacec5ace
children e7d1e0f7a699
line wrap: on
line diff