comparison src/.gdbinit @ 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 d1917e4b98e7
children 5ee7eaad2958 7a0245dd1848 e24e2e78deda
comparison
equal deleted inserted replaced
59386:89c73b450bcc 59387:9ecc0aa7a55a