[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: whitespace.el does not seem to delete its overlays
From: |
Richard Stallman |
Subject: |
Re: whitespace.el does not seem to delete its overlays |
Date: |
Fri, 08 Apr 2005 23:38:47 -0400 |
Does this make it work right?
*** whitespace.el 01 Oct 2004 13:57:03 -0400 1.30
--- whitespace.el 08 Apr 2005 21:54:36 -0400
***************
*** 736,747 ****
(defun whitespace-highlight-the-space (b e)
"Highlight the current line, unhighlighting a previously jumped to line."
(if whitespace-display-spaces-in-color
! (progn
(whitespace-unhighlight-the-space)
! (add-to-list 'whitespace-highlighted-space
! (whitespace-make-overlay b e))
! (whitespace-overlay-put (whitespace-make-overlay b e) 'face
! 'whitespace-highlight-face))))
;; (add-hook 'pre-command-hook 'whitespace-unhighlight-the-space))
(defun whitespace-unhighlight-the-space ()
--- 736,746 ----
(defun whitespace-highlight-the-space (b e)
"Highlight the current line, unhighlighting a previously jumped to line."
(if whitespace-display-spaces-in-color
! (let (overlay)
(whitespace-unhighlight-the-space)
! (setq overlay (whitespace-make-overlay b e))
! (add-to-list 'whitespace-highlighted-space overlay)
! (whitespace-overlay-put overlay 'face 'whitespace-highlight-face))))
;; (add-hook 'pre-command-hook 'whitespace-unhighlight-the-space))
(defun whitespace-unhighlight-the-space ()