comparison jslib/urweb.js @ 579:0094e0242100

Propagated a source change into a dynamic document element
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 15:53:04 -0500
parents ac947e2f29ff
children bb8463c3b712
comparison
equal deleted inserted replaced
578:1e589a60b86f 579:0094e0242100
1 function sc(v) { return {v : v} } 1 function callAll(ls) {
2 for (; ls; ls = ls.next)
3 ls.v();
4 }
2 5
3 function ss(s) { return {v : s.v} } 6 function sc(v) { return {v : v, h : null} }
4 function sr(v) { return {v : v} } 7 function sv(s, v) { s.v = v; callAll(s.h); }
5 function sb(x,y) { return {v : y(x.v).v} } 8
9 function ss(s) { return s }
10 function sr(v) { return {v : v, h : null} }
11 function sb(x,y) { return {v : y(x.v).v, h : null} }
6 12
7 function dyn(s) { 13 function dyn(s) {
8 var x = document.createElement("span"); 14 var x = document.createElement("span");
9 x.innerHTML = s.v; 15 x.innerHTML = s.v;
10 document.body.appendChild(x); 16 document.body.appendChild(x);
17 s.h = { n : s.h, v : function() { x.innerHTML = s.v } };
11 } 18 }