From 17e8230265e8fb22d583c4ba33d4243f24d6b8bc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 21 Jul 2012 13:55:35 -0400
Subject: <active>

---
 lib/js/urweb.js | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/js')

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;
-- 
cgit v1.2.3