124 |
(overlay-put hl-line-overlay |
(overlay-put hl-line-overlay |
125 |
'window (unless hl-line-sticky-flag (selected-window))) |
'window (unless hl-line-sticky-flag (selected-window))) |
126 |
(move-overlay hl-line-overlay |
(move-overlay hl-line-overlay |
127 |
(line-beginning-position) (1+ (line-end-position)))) |
(line-beginning-position) (line-beginning-position 2))) |
128 |
(hl-line-unhighlight))) |
(hl-line-unhighlight))) |
129 |
|
|
130 |
(defun hl-line-unhighlight () |
(defun hl-line-unhighlight () |
158 |
(overlay-put global-hl-line-overlay 'face hl-line-face)) |
(overlay-put global-hl-line-overlay 'face hl-line-face)) |
159 |
(overlay-put global-hl-line-overlay 'window (selected-window)) |
(overlay-put global-hl-line-overlay 'window (selected-window)) |
160 |
(move-overlay global-hl-line-overlay |
(move-overlay global-hl-line-overlay |
161 |
(line-beginning-position) (1+ (line-end-position)))))) |
(line-beginning-position) (line-beginning-position 2))))) |
162 |
|
|
163 |
(defun global-hl-line-unhighlight () |
(defun global-hl-line-unhighlight () |
164 |
"Deactivate the Global-Hl-Line overlay on the current line." |
"Deactivate the Global-Hl-Line overlay on the current line." |