diff oldXMenu/XMenu.h @ 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 fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff