diff man/autotype.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
parents 69b3598a61c5
children dc2d5a6655a3 fa0da9b57058
line wrap: on
line diff