(Faces): isearch-lazy-highlight-face renamed to lazy-highlight.
commitb6c735af3fd1b762b75ceb101b5ff50b4e9a6179
authorRichard M. Stallman <rms@gnu.org>
Sun, 9 Jan 2005 01:58:58 +0000 (9 01:58 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 9 Jan 2005 01:58:58 +0000 (9 01:58 +0000)
tree6edf1ae423ae9c608d72c640e576f94aa2fb455e
parent8bcc4f6b4945d215cf86b744456682153e183444
(Faces): isearch-lazy-highlight-face renamed to lazy-highlight.
man/display.texi