GNU bug report logs - #4911
mouse-face property should merge face attributes, not replace

Previous Next

Package: emacs;

Reported by: Dave Aspinall <daveaspin <at> googlemail.com>

Date: Thu, 12 Nov 2009 12:55:04 UTC

Severity: wishlist

Done: Lars Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log

Message #19 received at 4911 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: daveaspin <at> googlemail.com, 4911 <at> debbugs.gnu.org
Subject: Re: bug#4911: mouse-face property should merge face attributes, not
 replace
Date: Tue, 01 Oct 2019 17:14:51 +0200

Eli Zaretskii <eliz <at> 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
This bug report was last modified 5 years and 14 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.