diff src/intervals.c @ 10257:d530ba7eb471

(isearch-mode): Set mouse-leave-buffer-hook. (isearch-done): Clear it.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Dec 1994 05:09:07 +0000
parents 9d72d79329c3
children 55ce83f36b30
line wrap: on
line diff