diff --git a/package.json b/package.json index 93308cdc..53224cab 100644 --- a/package.json +++ b/package.json @@ -55,7 +55,7 @@ "c9" ], "c9plugins": { - "c9.ide.language": "#3f60864d0d", + "c9.ide.language": "#482a102bea", "c9.ide.language.css": "#a649f2a710", "c9.ide.language.generic": "#77d43cfaf0", "c9.ide.language.html": "#0f4078c187", @@ -90,7 +90,7 @@ "c9.ide.imgeditor": "#612e75ef4f", "c9.ide.immediate": "#a962119bec", "c9.ide.installer": "#0fde9f0067", - "c9.ide.language.python": "#49c1fa40db", + "c9.ide.language.python": "#33ff958961", "c9.ide.mount": "#b9a5a2d45c", "c9.ide.navigate": "#38ae100ea1", "c9.ide.newresource": "#981a408a7b", diff --git a/plugins/c9.ide.editors/tabmanager.js b/plugins/c9.ide.editors/tabmanager.js index c289b62a..df0aa20c 100644 --- a/plugins/c9.ide.editors/tabmanager.js +++ b/plugins/c9.ide.editors/tabmanager.js @@ -1101,6 +1101,11 @@ define(function(require, module, exports) { tab.classList.add("error"); tab.document.meta.error = true; + if (tab.document.meta.closeOnError) { + tab.close(); + return callback && callback(err); + } + alert("Error opening file", "Could not open file: " + tab.path, err.code == "ENOENT"