Re: Desktop saves isearch-mode

[Richard M. Stallman]

    The first key activates search mode, the second key switches to the
    *Messages* buffer, and the third key continues to search for `a' in
    the *Messages* buffer with search mode still enabled.

    After exiting the search in the *Messages* buffer and switching back
    to the original buffer where the search was activated, the mode line
    of the original buffer still displays the "Isearch" string and
    isearch-mode is non-nil.

What this shows is that it is wrong to do `switch-to-buffer'
in an isearch without frobbing the modes in the buffers.

Where in the existing code of Isearch does it switch buffers
without frobbing the Isearch mode in the two buffers?
That place needs to be changed to turn of Isearch mode
in the old buffer.