diff options
-rw-r--r-- | src/static/js/ace.js | 8 | ||||
-rw-r--r-- | src/static/js/domline.js | 4 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/static/js/ace.js b/src/static/js/ace.js index 6ea2938b..85801d33 100644 --- a/src/static/js/ace.js +++ b/src/static/js/ace.js @@ -167,7 +167,13 @@ require.setGlobalKeyPath("require");\n\ buffer.push(Ace2Editor.EMBEDED[KERNEL_SOURCE]); buffer.push(KERNEL_BOOT); buffer.push('<\/script>'); - } + } else { + file = KERNEL_SOURCE; + buffer.push('<script type="application/javascript" src="' + KERNEL_SOURCE + '"><\/script>'); + buffer.push('<script type="text/javascript">'); + buffer.push(KERNEL_BOOT); + buffer.push('<\/script>'); + } } function pushScriptsTo(buffer) { /* Folling is for packaging regular expression. */ diff --git a/src/static/js/domline.js b/src/static/js/domline.js index 5d8bb719..1be0f4ee 100644 --- a/src/static/js/domline.js +++ b/src/static/js/domline.js @@ -229,6 +229,10 @@ domline.createDomLine = function(nonEmpty, doesWrap, optBrowser, optDocument) result.node.innerHTML = curHTML; } if (lineClass !== null) result.node.className = lineClass; + + hooks.callAll("acePostWriteDomLineHTML", { + node: result.node + }); } result.prepareForAdd = writeHTML; result.finishUpdate = writeHTML; |