diff --git a/src/static/js/ace.js b/src/static/js/ace.js index f3a27a11d..8cb9f1884 100644 --- a/src/static/js/ace.js +++ b/src/static/js/ace.js @@ -185,14 +185,10 @@ require.setGlobalKeyPath("require");\n\ buffer.push('\ '); - pushScriptsTo(iframeHTML); + + iframeHTML.push('