1 files changed, 13 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index d8198ed0..99b45ec9 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1205,6 +1205,19 @@ function time(s, name) {
     return inpt("time", s, name);
 }
 
+function crad(s) {
+    if (suspendScripts)
+        return;
+
+    var x = input(document.createElement("input"), s,
+                  function(x) { return function(v) { x.checked = (x.value === v); }; }, "radio");
+    x.onclick = x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };
+    setTimeout(function() {
+	x.defaultChecked = x.checked = (s.data === x.value);
+    }, 10);
+
+    return x;
+}
 
 function selectValue(x) {
     if (x.options.length == 0)