[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#4911: mouse-face property should merge face attributes, not replace
|
From: |
Lars Ingebrigtsen |
|
Subject: |
bug#4911: mouse-face property should merge face attributes, not replace |
|
Date: |
Tue, 01 Oct 2019 17:14:51 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> I see no reason to change that now. The use case described in the bug
> report could be handled by using some non-color attribute for the
> mouse-face, for example.
Seems like everybody agrees, so I'm closing this bug report.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#4911: mouse-face property should merge face attributes, not replace, Lars Ingebrigtsen, 2019/10/01
- bug#4911: mouse-face property should merge face attributes, not replace, Basil L. Contovounesios, 2019/10/01
- bug#4911: mouse-face property should merge face attributes, not replace, Eli Zaretskii, 2019/10/01
- bug#4911: mouse-face property should merge face attributes, not replace,
Lars Ingebrigtsen <=
- bug#4911: mouse-face property should merge face attributes, not replace, Drew Adams, 2019/10/01