# HG changeset patch # User Adam Chlipala # Date 1322152912 18000 # Node ID 37f5a23446b28f7a9e134c76f908ac56387cdbd9 # Parent c6cc104a47ac0f3f2e785859ee75bd6224f0c3be Catch more events diff -r c6cc104a47ac -r 37f5a23446b2 lib/js/urweb.js --- a/lib/js/urweb.js Thu Nov 24 11:27:51 2011 -0500 +++ b/lib/js/urweb.js Thu Nov 24 11:41:52 2011 -0500 @@ -894,7 +894,7 @@ var x = input(document.createElement("input"), s, function(x) { return function(v) { if (x.checked != v) x.checked = v; }; }, "checkbox"); x.defaultChecked = x.checked = s.data; - x.onclick = function() { sv(s, x.checked) }; + x.onclick = x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.checked) }; return x; } diff -r c6cc104a47ac -r 37f5a23446b2 tests/ccheckbox.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/ccheckbox.ur Thu Nov 24 11:41:52 2011 -0500 @@ -0,0 +1,8 @@ +fun main () : transaction page = + s <- source True; + t <- source 1; + return + {[s]} {[t]}}/> +