fix inconsistent event sequence when deleting a file from the tree

plugins/c9.ide.editors/tabmanager.js

@@ -131,7 +131,11 @@ define(function(require, module, exports) {
             function removeTab(e) {
                 if (!e.error) { 
                     var tab = findTab(e.path);
-                    tab && tab.unload();
+                    if (tab) {
+                        tab.document.meta.$ignoreSave = true;
+                        tab.close();
+                        delete tab.document.meta.$ignoreSave;
+                    }
                 }
             }
             fs.on("afterUnlink", removeTab);