Subject: Re: bug#15618: 24.3.50; Region face takes priority over any overlay faces inside?

From: Stefan Monnier <[email-masked]>
Date: Tue, 29 Oct 2013 13:30:22 -0400

> I'm seeing inconsistent behavior with this.

I just installed a patch which makes the region's highlight into
a plain-old overlay, so your problem is probably replaced by new ones ;-)

        Stefan