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

Previous Next

Full log

View this message in rfc822 format

From: "Basil L. Contovounesios" <contovob <at> tcd.ie>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: Dave Aspinall <daveaspin <at> googlemail.com>, 4911 <at> debbugs.gnu.org
Subject: bug#4911: mouse-face property should merge face attributes, not replace
Date: Tue, 01 Oct 2019 15:36:44 +0100

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

> To reproduce:
>
> (insert (propertize "hello" 'face 'underline 'mouse-face 'highlight))
>
> and put the mouse pointer over the "hello": The underline goes away.

Isn't this long-standing and documented behaviour?  It can be worked
around to an extent by defining mouse-face in terms of face:

  (insert (propertize "hello" 'face 'underline
                      'mouse-face '(:inherit (highlight underline))))

> I think it might make sense to merge the properties...  but, on the
> other hand, this may make the text illegible.

Indeed, I'm not sure this makes sense in the general case, but I'm no
expert.

Thanks,

-- 
Basil

Previous Next

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