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.");