On 2016-05-31 16:28, Stefan Monnier wrote:
>> What alternatives do I have? (In fact, do I have any?)
> 
> Alternatives:

Thanks Stefan!

> - use text-properties instead of overlays.

Could work, indeed. Though adding and removing faces in text properties is trickier.

> - undocumented and tentatively added in recentish Emacsen you can use
>   a priority of the form (nil . -100).  Which means: normal priority nil
>   in general, but priority -100 when the normal priority rules (which
>   look at the relative size of overlays) don't have a preference
>   use -100.

Oh, neat :) Do you know in which version this was introduced?

> - use a negative priority.

Does this just behave like positive priorities, in practice?

Clément.