diff src/widget.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 33dcf295f62a
children 13f0227c7c56
line wrap: on
line diff