diff etc/tasks.texi @ 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 1f0008bd7e46
children ec2e8c77551c
line wrap: on
line diff