From ad2ea924b5c039ebb8df9dd97d1f5ecaeb02fb14 Mon Sep 17 00:00:00 2001
From: Mikk Andresen <mikk.andresen@gmail.com>
Date: Tue, 1 Dec 2015 14:16:44 +0200
Subject: [PATCH] aceEditorCSS to allow absolute paths to resources to include
 external CSS

---
 src/static/js/ace.js | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/src/static/js/ace.js b/src/static/js/ace.js
index 455bfaa36..a5e365ce0 100644
--- a/src/static/js/ace.js
+++ b/src/static/js/ace.js
@@ -229,7 +229,12 @@ function Ace2Editor()
       $$INCLUDE_CSS("../static/css/pad.css");
       $$INCLUDE_CSS("../static/custom/pad.css");
 
-      var additionalCSS = _(hooks.callAll("aceEditorCSS")).map(function(path){ return '../static/plugins/' + path });
+      var additionalCSS = _(hooks.callAll("aceEditorCSS")).map(function(path){
+        if (path.match(/\/\//)) { // Allow urls to external CSS - http(s):// and //some/path.css
+          return path;
+        }
+        return '../static/plugins/' + path;
+      });
       includedCSS = includedCSS.concat(additionalCSS);
 
       pushStyleTagsFor(iframeHTML, includedCSS);
@@ -308,7 +313,12 @@ window.onload = function () {\n\
       $$INCLUDE_CSS("../static/custom/pad.css");
 
 
-      var additionalCSS = _(hooks.callAll("aceEditorCSS")).map(function(path){ return '../static/plugins/' + path });
+      var additionalCSS = _(hooks.callAll("aceEditorCSS")).map(function(path){
+        if (path.match(/\/\//)) { // Allow urls to external CSS - http(s):// and //some/path.css
+          return path;
+        }
+        return '../static/plugins/' + path }
+      );
       includedCSS = includedCSS.concat(additionalCSS);
 
       pushStyleTagsFor(outerHTML, includedCSS);