<div><pre>On <i style="font-family: "Microsoft YaHei"; font-size: medium; white-space: normal;">Tue Dec 11 08:28:35 UTC 2018</i>, Magnus wrote:</pre><pre><span style="font-family: Verdana;">></span><i style="font-family: Verdana;"> </i>I think you'll find that there is no major difference in performance. If 
you do some comparison for large folders, I'd be interested in hearing 
how it turned out.

<span style="font-family: Verdana;">></span><i style="font-family: Verdana;"> </i>  -Magnus</pre></div><div><span style="white-space: pre-wrap;">Yes, you're right. I have reported this bug on https://bugzilla.mozilla.org/show_bug.cgi?id=1512974.</span></div><div><span style="white-space: pre-wrap;">Hope that you can also help resolve this issue. I believe this is one of the UI slowness issue.</span></div><div><span style="white-space: pre-wrap;">  </span></div><div><br></div><div><br></div>