comparison man/eudc.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 730f77edf073
children a8c0a02f6129
comparison
equal deleted inserted replaced
39188:9b80cbcb8915 39189:45d6d104c4f2