diff =PROBLEMS @ 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 507f64624555
children
line wrap: on
line diff