diff man/ediff.texi @ 39189:45d6d104c4f2

(isearch-intersects-p): New function. (isearch-close-unnecessary-overlays): Renamed from *unecessary*, use isearch-intersects-p, and clean up.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 07 Sep 2001 16:16:28 +0000
parents 62e02f5ae533
children 3ce98f3e0608
line wrap: on
line diff