diff CONTRIBUTE @ 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 92a0e87ff562
children 42f5a52dbf4b
line wrap: on
line diff