diff src/casefiddle.c @ 10570:7716de3fb4b6

(shell): If we create a new shell buffer, select that buffer even if it has been renamed.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jan 1995 22:37:16 +0000
parents e8c880f2723e
children f7cb17ca1815
line wrap: on
line diff