Re: whitespace.el does not seem to delete its overlays

[Richard Stallman]

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 ()