You shouldn't need to refresh at all after deleting a file.
If the file looks like it is still there (for more than a second or so) and you need to do a manual refresh before it goes, see here:
You shouldn't need to refresh at all after deleting a file.
If the file looks like it is still there (for more than a second or so) and you need to do a manual refresh before it goes, see here: