From 915ff8e78538d9e3c16c7e2b247a27a424f71d40 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 24 Nov 2011 11:41:52 -0500
Subject: Catch more <ccheckbox> events

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/js')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 3829cdb2..a6ea21c1 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -894,7 +894,7 @@ function chk(s) {
     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;
 }
-- 
cgit v1.2.3