an essential feature request

Dear dev,
I cannot live without this plugin. Having said that there is a one tiny feature I would like to request to the developer. It is pretty simple one but you have to understand the scenario from which the requirement occurred to me.
There were several files open in my main plugin’s editing console and I was working on them. At the same time I was uploading a few files and folders in the directory. Now, to get access to new files I just uploaded through my FTP, I had to refresh the entire editing console and reopen all the files I was working on, just in order to get to edit that new file I had just uploaded.
So. a cute and tiny button that says refresh directory would be really amazing. !

https://www.ads-software.com/plugins/wpide/