[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 17:08:48 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Eli Zaretskii <eliz@gnu.org> writes:
>
>> OK, but then they simply should use a separate overlay for the
>> mouse-face, I think, one that doesn't cover the newline. Does that
>> solve the problem?
>
> Yes, I can hack wid-edit.el as previously suggested.
OK, I took another look at the wid-edit.el code which reminded me that
it's not that simple, because it does a lot of manipulation of the
overlays in the most tedious way.
So I'll just leave this for somebody else to fix one rainy day...
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#36550: Small bug fix in recentf.el, (continued)
- bug#36550: Small bug fix in recentf.el, Lars Ingebrigtsen, 2019/07/12
- bug#36550: mouse-face overlay calculation error, Lars Ingebrigtsen, 2019/07/12
- 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 <=
- bug#36550: mouse-face overlay calculation error, Linus Källberg, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Linus Källberg, 2019/07/13
- bug#36550: mouse-face overlay calculation error, Eli Zaretskii, 2019/07/14