|
| From: | Dmitry Gutov |
| Subject: | bug#15618: 24.3.50; Region face takes priority over any overlay faces inside? |
| Date: | Wed, 30 Oct 2013 06:13:33 +0400 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0 |
On 29.10.2013 21:30, Stefan Monnier wrote:
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 ;-)
So far it seems fixed though. Thanks!
| [Prev in Thread] | Current Thread | [Next in Thread] |