bug#25592: Feature request: sorting overlays

[Eli Zaretskii]

> Cc: 25592@debbugs.gnu.org
> From: Clément Pit--Claudel <clement.pitclaudel@live.com>
> Date: Sun, 5 Feb 2017 14:10:40 -0500
> 
> > What will happen if you have 2 overlays like this:
> > 
> >                +------------- OV2 -------+
> >    xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> >    +------- OV1 ---------+
> > 
> > and OV2 has a higher priority than OV1?
> 
> The two overlays get sorted as (OV1 OV2).

But OV2 has a higher priority, so it should be the first in the sorted
order, no?