Open laughedelic opened 3 years ago
I think this request has popped up before 🤔
To do this, we'd need to either continue to recursively load 'empty' directories when prefetching them, or load the entire repo tree up front.
I'm not sure either is possible with the current setup, which tries to only load the visible + 1 file tree. Especially with larger repos, loading the entire thing could lead to slowdowns.
I'd be open to a contributed feature, but I don't think I want to build this myself. Would you be interested in championing this?
Here's how it looks now:
It would be nice to see the part starting from
main
as one node in the tree, so it can be toggled with a single click and the innermost content is indented only by 1 extra level, i.e. something like this:I think this is a common feature in editors that have a tree view interface.