On 2017-05-27 14:26, Eli Zaretskii wrote:> I think you are hitting on undefined behavior: mixing different
> replacing specs in the same display property is not generally
> supported.

Thanks for clarifying.

>> Is there a way to disable the trailing whitespace highlighting here?
> 
> You could swap the order of 'space' and 'left-fringe' specs, but the
> fact that this works is sheer luck, and I wouldn't recommend relying
> on that.

It doesn't work here: the fringe remains empty.

> The rule is to use at most one replacing spec in a display property.

Makes sense, thanks. Would it be a reasonable feature request to ask for a non-replacing version of left-fringe and right-fringe?  I've seen other code work around this by putting the left-fringe property on the before-string of an overlay, but I can't do this with pure text properties.

Cheers,
Clément.