Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adaptive partitioning of trees #2260

Open
JanKoehnlein opened this issue Jul 3, 2018 · 0 comments
Open

Adaptive partitioning of trees #2260

JanKoehnlein opened this issue Jul 3, 2018 · 0 comments
Labels
enhancement issues that are enhancements to current functionality - nice to haves tree issues related to the tree (ex: tree widget)

Comments

@JanKoehnlein
Copy link
Contributor

One thing that really annoys me in the world of JavaScript is the tendency to have hundreds of files / folders at the same level. Even in VSCode, the navigator is a real pain to browse node_modules or get out of there once you opened them by hazard. We could be better with Theia here.

Proposal:
When a tree node has more than a configurable number of children (e.g. 30), automatically add artificial nodes to group them. Show a range of the first distinguishing letters as the name of these nodes and give them an icon / color that marks them clearly as artificial

node_modules
  + (a... - d...)
  + (d... - mate...)
  + (math... - stre...)
  + (stri... - z...)

We could also think about keyboard shortcuts to enable/disable this partitioning.

@JanKoehnlein JanKoehnlein added enhancement issues that are enhancements to current functionality - nice to haves tree issues related to the tree (ex: tree widget) labels Jul 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement issues that are enhancements to current functionality - nice to haves tree issues related to the tree (ex: tree widget)
Projects
None yet
Development

No branches or pull requests

1 participant