Ur/Web: lib/js/urweb.js comparison

comparison lib/js/urweb.js @ 1290:6791454653c5

Confirm boxes; proper event handler setting for ctags

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 22 Aug 2010 19:45:07 -0400
parents	003df929ee08
children	0d8bd8ae8417

comparison

equal deleted inserted replaced

-:3b22c3c67f35
+:6791454653c5
 return x;
 }
 function addOnChange(x, f) {
 var old = x.onchange;
-x.onchange = function() { old(); f (); };
+if (old == null)
+x.onchange = f;
+else
+x.onchange = function() { old(); f(); };
+}
+function addOnKeyUp(x, f) {
+var old = x.onkeyup;
+if (old == null)
+x.onkeyup = f;
+else
+x.onkeyup = function(x) { old(x); f(x); };
 }
 // Basic string operations
 // Key events
 var uw_event = null;
 function kc() {
-return window.event ? uw_event.keyCode : uw_event.which;
+return window.event ? event.keyCode : (uw_event ? uw_event.keyCode : 0);
 }
 // The Ur interpreter
 function execF(f, x) {
 return exec0(cons(x, f.env), f.body);
 }
+// Wrappers
+function confrm(s) {
+return confirm(s) ? true : false;
+}
 // App-specific code