[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#8530: 23.2; Button 'mouse-face property loses Bold and Italic proper
|
From: |
Eli Zaretskii |
|
Subject: |
bug#8530: 23.2; Button 'mouse-face property loses Bold and Italic properties |
|
Date: |
Thu, 21 Apr 2011 15:24:24 -0400 |
> Date: Thu, 21 Apr 2011 11:38:44 -0700
> From: PJ Weisberg <pj@irregularexpressions.net>
> Cc: 8530@debbugs.gnu.org
>
> Well, it's not *only* the colors, since the "box" property is
> respected. It seems odd that some properties are used and some are
> ignored.
Well, the font is explicitly ignored, at least in my reading of the
code. Maybe that's because mouse-face was intended to _highlight_ the
text, not redraw it in some entirely different face. Or maybe there
are other reasons, or even no particular reason at all. I don't know.