This message was deleted.

@Ziyao Wei might know more here?

Thanks for the feedback! There are a couple of issues here: • search - yeah we know it is suboptimal right now 😐 It is from the lazy loading, we do have some ideas on how to improve it though - I’ll raise this internally! • For toggling all files between open and collapsed - it is also something we have thought about, I’ll also raise this. This hopefully would be easier!

Glad I am not crazy and missing something obvious. Thanks for raising internally!