diff --git a/plugins/c9.ide.editors/tabmanager.js b/plugins/c9.ide.editors/tabmanager.js index ade10e4b..1db406f2 100644 --- a/plugins/c9.ide.editors/tabmanager.js +++ b/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);