diff man/search.texi @ 36584:1f80152aeddc

(mouse_face_overlay_overlaps): New function.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 06 Mar 2001 15:28:48 +0000
parents d26ad6e1f13f
children 6dee6cc113a5
line wrap: on
line diff