diff --git a/src/static/js/ace.js b/src/static/js/ace.js
index db62deb4..e50f75c7 100644
--- a/src/static/js/ace.js
+++ b/src/static/js/ace.js
@@ -24,6 +24,8 @@
// requires: plugins
// requires: undefined
+var KERNEL_SOURCE = '../static/js/require-kernel.js';
+
Ace2Editor.registry = {
nextId: 1
};
@@ -31,6 +33,14 @@ Ace2Editor.registry = {
var hooks = require('./pluginfw/hooks');
var _ = require('./underscore');
+function scriptTag(source) {
+ return (
+ ''
+ )
+}
+
function Ace2Editor()
{
var ace2 = Ace2Editor;
@@ -155,24 +165,6 @@ function Ace2Editor()
return {embeded: embededFiles, remote: remoteFiles};
}
- function pushRequireScriptTo(buffer) {
- var KERNEL_SOURCE = '../static/js/require-kernel.js';
- var KERNEL_BOOT = '\
-require.setRootURI("../javascripts/src");\n\
-require.setLibraryURI("../javascripts/lib");\n\
-require.setGlobalKeyPath("require");\n\
-';
- if (Ace2Editor.EMBEDED && Ace2Editor.EMBEDED[KERNEL_SOURCE]) {
- buffer.push('\
-');
-
- iframeHTML.push('