diff man/gnu.texi @ 81774:d1ba4f191df6

(isearch-edit-string): Call to isearch-push-state after the search.
author Richard M. Stallman <rms@gnu.org>
date Mon, 09 Jul 2007 14:45:01 +0000
parents 4805684e0b00
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff