In web editor, when delete a file, should navigate to enclosing directory
Currently when you delete a file, it goes back to the repo home. It should remain in the enclosing directory of the deleted file.
Currently when you delete a file, it goes back to the repo home. It should remain in the enclosing directory of the deleted file.