<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 24, 2018 at 5:17 PM, Adam Jackson <span dir="ltr"><<a href="mailto:ajax@nwnk.net" target="_blank">ajax@nwnk.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Wed, 2018-01-24 at 11:36 +0100, Olivier Fourdan wrote:<br>
<br>
> So basically, just remove the  “if<br>
> (RegionNotEmpty(DamageRegion(<wbr>xwl_window->damage)))” would suffice?<br>
<br>
</span>Worth a try anyway. I'm still just guessing at the root cause.<br></blockquote><div><br></div><div>Right, problem is I have no idea how to reproduce the issue so I cannot tell if that would fix it.</div><div><br></div><div>But I don't think removing it unconditionally would cause any trouble (and seems like the right thing to do), so... patch to follow.</div><div><br></div><div>Cheers,</div><div>Olivier</div><div><br></div></div></div></div>