comparison etc/de-refcard.ps @ 59387:9ecc0aa7a55a

(isearch-lazy-highlight-update): Rename `isearch-lazy-highlight-interval' to `lazy-highlight-interval'.
author Juri Linkov <juri@jurta.org>
date Thu, 06 Jan 2005 06:54:28 +0000
parents 7fe93ea27cb4
children df2859081c51
comparison
equal deleted inserted replaced
59386:89c73b450bcc 59387:9ecc0aa7a55a