diff make-dist @ 10961:88cba63f2a9b

(server-buffer-done): Return a list (NEXT-BUFFER KILLED). KILLED is t if we killed the buffer. (server-edit): Values from server-done is now list of args for server-switch-buffer. (server-switch-buffer): Likewise. (server-switch-buffer): New optional arg KILLED-ONE. Avoid the other-buffer at the end in that case.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Mar 1995 20:32:48 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff