comparison configure.in @ 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 e0019e0fe562
children 202c70b39c10
comparison
equal deleted inserted replaced
10569:fa604ffe7e3f 10570:7716de3fb4b6