diff --git a/src/static/js/ace.js b/src/static/js/ace.js index 1306dba01..659503d86 100644 --- a/src/static/js/ace.js +++ b/src/static/js/ace.js @@ -261,6 +261,11 @@ require.setGlobalKeyPath("require");\n\ // Inject my plugins into my child. iframeHTML.push('\