Subject: Re: bug#15899: 24.3.50; regression: `region' overlay is lower priority than default

From: Eli Zaretskii <[email-masked]>
Date: Fri, 15 Nov 2013 16:40:47 +0200

> From: Stefan Monnier <[email-masked]>
> Cc: Drew Adams <[email-masked]>,  [email-masked]
> Date: Fri, 15 Nov 2013 08:54:15 -0500
> 
> I'm not convinced it's a bug, since this "bug" was also the fix for
> another bug.

Was that other bug also about priorities of faces?

> It's a change, there's no doubt about that.  Whether it's better or
> worse is not so clear.

Isn't it confusing that the region highlighting is non-contiguous when
an overlay is in its middle?

What are the downsides of setting the region overlay's priority to
most-positive-fixnum?