Would it be possible to enhance the explorer plugin in the following aspects? That would make it nearly perfect.
1. Make explorer auto-sensing the change of the file tree. For example, if I create/delete a file, currently the explorer won’t detect this change. My workaround is to re-enable the explorer plugin, which is not very nice.
2. Add a way to create a new folder/file using the explorer plugin. The explorer does a great job in showing the right-click menus of existing folders/files. But it lacks a way to allow creating new folder/files.