....<br>I don't think the patch qualifies for inclusion in 0.92.x (it's not a<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

bug fix). And if possible, it should be reworked before merging into<br>
0.94 to avoid the UI change mentioned above. If there's a trade-off to<br>
be made between performance and UI behaviour (i.e. if we can't fix the<br>
patch without making the animation slow again), we should include the<br>
Design Team in our decision process.<br>
<br></blockquote><div><br>Hi Sasha,<br>I have proposed this to the Design Team, and had a positive review.<br>Gary proposed a better approach, but we agreed in doing the change after this patch land.<br><br>Gonzalo<br> </div>
</div>