bug#15298: 24.3.50; Background color lost when highlighting a string

[Eli Zaretskii]

> From: "Sebastien Vauban" <sva-news@mygooglest.com>
> Cc: 15298@debbugs.gnu.org
> Date: Fri, 13 Dec 2013 16:41:53 +0100
> 
> > The problem in this case (and other similar ones) is that the face you
> > expected was removed, and then another one applied to the same text.
> > Removed faces are not recorded anywhere, as you might expect.
> 
> I thought that faces were just added one onto the other, but that the
> problem could happen because the order is not the one we expected.

The order doesn't matter.  the only limitation is that you cannot have
more than one text property at the same character with different
values of the same property: the latter one overwrites the former one.

> Were are faces removed?

Font Lock removes them, before it applies its own.