From 8a6eae26d7023973f411e59ab37efff9eea13e32 Mon Sep 17 00:00:00 2001 From: Sebastian Castro <90scastro@gmail.com> Date: Thu, 8 Nov 2018 21:55:07 +0100 Subject: [PATCH 1/8] ace.js: also add plugins names to #outerdocbody (refs #3488) This commit is an integration to aa8204e5dfe4 --- src/static/js/ace.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/static/js/ace.js b/src/static/js/ace.js index bbf83c0e7..16689c0aa 100644 --- a/src/static/js/ace.js +++ b/src/static/js/ace.js @@ -329,7 +329,7 @@ window.onload = function () {\n\ // bizarrely, in FF2, a file with no "external" dependencies won't finish loading properly // (throbs busy while typing) - outerHTML.push('', '', scriptTag(outerScript), '