comparison etc/MACHINES @ 67425:98dba3ad8a8a

(isearch-highlight): Change main overlay priority from 1 to 1001. Simplify. (isearch-lazy-highlight-update): Change lazy overlay priority from 0 to 1000.
author Juri Linkov <juri@jurta.org>
date Fri, 09 Dec 2005 09:45:06 +0000
parents aac0a33f5772
children 03eb5e7ad4f5 3ebd9bdb4fe5
comparison
equal deleted inserted replaced
67424:02c3cfe8d00b 67425:98dba3ad8a8a