diff man/faq.texi @ 67427:055cc88a4fd0

(ispell-highlight-spelling-error-overlay): Change overlay priority from 1 to 1001. Reuse existing overlay.
author Juri Linkov <juri@jurta.org>
date Fri, 09 Dec 2005 09:47:30 +0000 (2005-12-09)
parents fda96ff4c7e5
children b6000aca7291
line wrap: on
line diff