annotate src/.dbxinit @ 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 18e524802887
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25843
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ignore 14
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
2 catch 18
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
3 ignore 20
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
4 ignore 23
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
5 alias s step
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
6 alias n next
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
7 alias c cont
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
8 alias st status
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
9 alias r run
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
10 alias l list
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
11 alias f file
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
12 alias q quit
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
13 alias w where
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
14 alias d delete
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
15 alias p print