[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36550: mouse-face overlay calculation error
From: |
Lars Ingebrigtsen |
Subject: |
bug#36550: mouse-face overlay calculation error |
Date: |
Sat, 13 Jul 2019 02:31:15 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Linus Källberg <linus.kallberg@outlook.com> writes:
> On second thought, I don't think the real problem is in recentf.el, but
> rather in the implementation of widgets and/or faces. It makes sense to
> keep recentf.el as it is.
There's something even more fundamentally wrong going on here, I think.
Here's a test case:
(progn
(let ((point (point)))
(insert "foo\n")
(let ((o (make-overlay point (point))))
(overlay-put o 'mouse-face 'highlight)
(insert "bar"))))
This should make a mouse face that's displayed the entire "foo" line,
but it extends to the first character of the next line.
If you make it one character shorter, then the entire line isn't
highlighted.
And! If you say `face' instead of `mouse-face', then everything is
highlighted correctly (i.e., just the entire "foo" line, and not the "b"
on the next line).
So is there some basic fault in the code that calculates the length of
the mouse highlighting? I don't really know where to start looking...
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#36550: Small bug fix in recentf.el, Linus Källberg, 2019/07/08
- bug#36550: Small bug fix in recentf.el, Lars Ingebrigtsen, 2019/07/08
- Message not available
- bug#36550: Small bug fix in recentf.el, Lars Ingebrigtsen, 2019/07/09
- bug#36550: Small bug fix in recentf.el, Linus Källberg, 2019/07/11
- bug#36550: Small bug fix in recentf.el, Lars Ingebrigtsen, 2019/07/12
- bug#36550: mouse-face overlay calculation error,
Lars Ingebrigtsen <=
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Linus Källberg, 2019/07/13