733 |
"Highlight the current line, unhighlighting a previously jumped to line." |
"Highlight the current line, unhighlighting a previously jumped to line." |
734 |
(if whitespace-display-spaces-in-color |
(if whitespace-display-spaces-in-color |
735 |
(let ((ol (whitespace-make-overlay b e))) |
(let ((ol (whitespace-make-overlay b e))) |
|
(whitespace-unhighlight-the-space) |
|
736 |
(push ol whitespace-highlighted-space) |
(push ol whitespace-highlighted-space) |
737 |
(whitespace-overlay-put ol 'face 'whitespace-highlight-face)))) |
(whitespace-overlay-put ol 'face 'whitespace-highlight-face)))) |
738 |
;; (add-hook 'pre-command-hook 'whitespace-unhighlight-the-space)) |
;; (add-hook 'pre-command-hook 'whitespace-unhighlight-the-space)) |
739 |
|
|
740 |
(defun whitespace-unhighlight-the-space () |
(defun whitespace-unhighlight-the-space() |
741 |
"Unhighlight the currently highlight line." |
"Unhighlight the currently highlight line." |
742 |
(if (and whitespace-display-spaces-in-color whitespace-highlighted-space) |
(if (and whitespace-display-spaces-in-color whitespace-highlighted-space) |
743 |
(progn |
(progn |