**What problem does this solve?** Currently the editor loads all files up to a cap and has no mechanism to refresh file tree. **Proposed solution** Add a refresh button next to the "New File" button and load file tree lazily as folders are opened.
What problem does this solve?
Currently the editor loads all files up to a cap and has no mechanism to refresh file tree.
Proposed solution
Add a refresh button next to the "New File" button and load file tree lazily as folders are opened.