From 570dd5242819959699f1501b03f8f47c62d813f0 Mon Sep 17 00:00:00 2001
From: Kamidi Preetham <kamidi@live.com>
Date: Wed, 11 May 2016 02:56:37 +0530
Subject: [PATCH] editor:fix remove-file issue

Signed-off-by: Kamidi Preetham <kamidi@live.com>
---
 client/js/controllers/editor.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/client/js/controllers/editor.js b/client/js/controllers/editor.js
index 26f4f79..c3851e0 100644
--- a/client/js/controllers/editor.js
+++ b/client/js/controllers/editor.js
@@ -211,6 +211,7 @@
                                 if(close_id) {
                                     $scope.saveFile(savePath, previousContent);
                                     editor.getSession().setValue(content);
+                                    $scope.refreshTree();
                                 } else {
                                     editor.getSession().setValue(content);
                                 }
@@ -502,6 +503,7 @@
                                     //pop * from the string
                                     if ($scope.fileName) {
                                             $scope.fileName = $scope.fileName.substring(0, $scope.fileName.length-1);
+                                            $scope.refreshTree();
                                     }
                                  }).error(function(){
                                     alert("Failed to save file on server. Try again.");