diff src/search.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 422c3b96efda
children d0811ba886f8
line wrap: on
line diff