From 68069392db899bbd126e434718af7e6333dfba7e Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Sat, 19 Dec 2015 20:35:01 +0000
Subject: [PATCH] Jump to python library files outside of VFS dir

---
 package.json                         | 4 ++--
 plugins/c9.ide.editors/tabmanager.js | 5 +++++
 2 files changed, 7 insertions(+), 2 deletions(-)

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"