diff lib/js/urweb.js @ 1786:d794149b3713

<active>
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 13:55:35 -0400
parents ffd7ed3bc0b7
children 56b8efff64e7
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Jul 21 11:59:41 2012 -0400
+++ b/lib/js/urweb.js	Sat Jul 21 13:55:35 2012 -0400
@@ -901,6 +901,12 @@
     runScripts(node);
 }
 
+function active(s) {
+    var span = document.createElement("span");
+    addNode(span);
+    setInnerHTML(span, execF(s));
+}
+
 function input(x, s, recreate, type, name) {
     if (name) x.name = name;
     if (type) x.type = type;