2307 |
|
|
2308 |
The variable `ispell-highlight-face' selects the face to use for highlighting." |
The variable `ispell-highlight-face' selects the face to use for highlighting." |
2309 |
(if highlight |
(if highlight |
2310 |
(progn |
(if ispell-overlay |
2311 |
|
(move-overlay ispell-overlay start end (current-buffer)) |
2312 |
(setq ispell-overlay (make-overlay start end)) |
(setq ispell-overlay (make-overlay start end)) |
2313 |
(overlay-put ispell-overlay 'priority 1) ;higher than lazy overlays |
(overlay-put ispell-overlay 'priority 1001) ;higher than lazy overlays |
2314 |
(overlay-put ispell-overlay 'face ispell-highlight-face)) |
(overlay-put ispell-overlay 'face ispell-highlight-face)) |
2315 |
(delete-overlay ispell-overlay)) |
(if ispell-overlay |
2316 |
|
(delete-overlay ispell-overlay))) |
2317 |
(if (and ispell-lazy-highlight (boundp 'lazy-highlight-cleanup)) |
(if (and ispell-lazy-highlight (boundp 'lazy-highlight-cleanup)) |
2318 |
(if highlight |
(if highlight |
2319 |
(let ((isearch-string |
(let ((isearch-string |