--- Begin Message ---
Subject: |
Mouse highlighting bug |
Date: |
Thu, 26 Jun 2008 17:39:02 -0400 |
There seems to be a bug is how mouse-face highlighting handles extending
faces to the end of the line:
(global-set-key [f1]
(lambda () (interactive)
(switch-to-buffer "asdf")
(erase-buffer)
(insert "123456\n890")
(put-text-property 4 9 'mouse-face 'highlight)
(put-text-property 4 9 'face (list :underline t))))
Put the mouse over the region with mouse-highlight, then remove it.
Result: the space after the first line becomes underlined.
--- End Message ---
--- Begin Message ---
Subject: |
Re: Mouse highlighting bug |
Date: |
Sun, 21 Jun 2009 22:03:37 -0400 |
> (global-set-key [f1]
> (lambda () (interactive)
> (switch-to-buffer "asdf")
> (erase-buffer)
> (insert "123456\n890")
> (put-text-property 4 9 'mouse-face 'highlight)
> (put-text-property 4 9 'face (list :underline t))))
>
> Put the mouse over the region with mouse-highlight, then remove it.
> Result: the space after the first line becomes underlined.
I've checked a fix for this into the trunk, which involves changing
x_draw_glyph_string so that the underline (and overline) is not extended
into the end-of-line padding. This is similar to the behavior of
strike-through.
--- End Message ---