After a file is removed it's entry is deleted from the directory view(jsTree) but the contents of it remain in the editor which enable us to make some more edits and save it again. This time the file is saved but the directory view is not updated.
This fix now uses refresh() function to update the directory view whenever saveFileManually() is executed.
gitignore file should contain repos/* as an entry as the edits done by a user in his own project need not be included in a "source code" update commit.
Signed-off-by: Kamidi Preetham kamidi@live.com