diff man/idlwave.texi @ 59340:eb4a4bdb4f0f

(lazy-highlight): Group renamed from isearch-lazy-... (lazy-highlight-cleanup, lazy-highlight-initial-delay) (lazy-highlight-interval, lazy-highlight-max-at-a-time) (lazy-highlight-face): Renamed from isearch-lazy-... Change all references to them.
author Richard M. Stallman <rms@gnu.org>
date Tue, 04 Jan 2005 02:21:55 +0000
parents c583d1745972
children 78ef32e30574 f2ebccfa87d4
line wrap: on
line diff