1 files changed, 6 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 35023924..87adc0a3 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -901,6 +901,12 @@ function setInnerHTML(node, html) {
     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;