diff --git a/src/static/js/ace.js b/src/static/js/ace.js index 473ecc1ba..4dc3308a1 100644 --- a/src/static/js/ace.js +++ b/src/static/js/ace.js @@ -262,6 +262,11 @@ require.setGlobalKeyPath("require");\n\ // Inject my plugins into my child. iframeHTML.push('\