diff lib/js/urweb.js @ 812:2fbd1ac2f04b

Loading an FCKeditor
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 18:09:14 -0400
parents 50b4825115f0
children 26e911ee924c
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat May 16 16:59:24 2009 -0400
+++ b/lib/js/urweb.js	Sat May 16 18:09:14 2009 -0400
@@ -228,6 +228,18 @@
     lastParent().appendChild(node);
 }
 
+function setHTML(html) {
+  var x = document.createElement("span");
+  x.dead = false;
+  x.signal = null;
+  x.sources = null;
+  x.closures = null;
+  x.innerHTML = html;
+  addNode(x);
+  runScripts(x);
+  alert("HTML:\n" + html);
+}  
+
 var thisScript = null;
 
 function runScripts(node) {