comparison 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
comparison
equal deleted inserted replaced
1785:ffd7ed3bc0b7 1786:d794149b3713
899 x.closures = cls.v; 899 x.closures = cls.v;
900 node.innerHTML = html; 900 node.innerHTML = html;
901 runScripts(node); 901 runScripts(node);
902 } 902 }
903 903
904 function active(s) {
905 var span = document.createElement("span");
906 addNode(span);
907 setInnerHTML(span, execF(s));
908 }
909
904 function input(x, s, recreate, type, name) { 910 function input(x, s, recreate, type, name) {
905 if (name) x.name = name; 911 if (name) x.name = name;
906 if (type) x.type = type; 912 if (type) x.type = type;
907 x.dead = false; 913 x.dead = false;
908 x.signal = ss(s); 914 x.signal = ss(s);