Refresh file tree
By L @louisgv
When deleting file, the tree does not refresh automatically. This is the same issue in VSCode where their solution is to simply have a reload button for user to reload the tree. I think this should be pretty low hanging fruit feature.
In reply tolouisgv⬆:Phil Li @philHi @louisgv and @ysoftware, we add the auto refresh in v0.5.0. It will refresh the file tree automatically on changes, and no need to press a button or go to background and back.
- Progresswith doing this idea
- YYaroslav Erohin @ysoftware
There is no need for a reload button. At the very least, update it when the app is going back to foreground. And maybe additionally every 30 seconds or so. It's not a heavy computation task, but it is really unfortunate that after adding/deleting files I need to press build and then stop.
