Mercurial > urweb
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;