diff src/w32menu.c @ 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 c5bc6e90f8ec
children 922696f363b0 0ece58f6e0aa 988f1edc9674
line wrap: on
line diff