Subject: bug#20254: 25.0.50; `face' overlays with equal priority at the same location

From: Stefan Monnier <[email-masked]>
Date: Fri, 03 Apr 2015 21:07:13 -0400

> Any chance this implementation could be revisited, to do something
> regular

Without explicit priority information, we have no data on which to base
the ordering.  We use the overlays' memory address because it does
the job.

> - predictable and user-manipulable?

That's what the `priority' property is for.

        Stefan