I don't see any worsening of performance caused by this, so I guess we're good to go.
cc @busykai @peterflynn @dangoor
@MarcelGerber LGTM waiting for inputs from other folks before we merge this.
Render file tree without a delay on scroll to fix selection extension…
@dangoor Does this change look OK? Should we go ahead with the merge?
Yeah, this seems fine to me.