When deleting or renaming a buffer and a buffer name is specified,
commit0f6227f46b1d33476ef448682a2ba0b0290e6d9b
authornicm <nicm>
Thu, 2 Jun 2022 20:41:21 +0000 (2 20:41 +0000)
committernicm <nicm>
Thu, 2 Jun 2022 20:41:21 +0000 (2 20:41 +0000)
treeecc6945c7f72d32cbf240ec5a6e2781a1151eb00
parent201a8d8e7eb0bf208918c698e64aa120864c6dfc
When deleting or renaming a buffer and a buffer name is specified,
complain if the buffer doesn't exist instead of silently deleting or
renaming the most recent buffer. GitHub issue 3205.
cmd-set-buffer.c