bug#6777: 23.2; The highlight face changes foreground

[Lars Magne Ingebrigtsen]

"Drew Adams" <drew.adams@oracle.com> writes:

> This is not about the `highlight' face or any other face.  It is about
> `mouse-face' vs `face'.
>
> The `mouse-face' text property is a separate property from the `face'
> property.  Each has a face as its value.  You see one or the other
> face at any given time, not a combination of the two.  If `mouse-face'
> has the value `highlight' (highlight face), then that is the face you
> see when you mouseover the text.

Yup.  So I'm closing this bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/