# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1326656706 18000
# Node ID 5b2c7b9f6017be2efc2e45a9548aceca58208f67
# Parent  3636d0eeb39c32102d1d0592ce02a6c392b7ffdc
Fix fetching of keycodes for key events

diff -r 3636d0eeb39c -r 5b2c7b9f6017 demo/more/versioned1.urp
--- a/demo/more/versioned1.urp	Sat Jan 14 23:02:34 2012 +0400
+++ b/demo/more/versioned1.urp	Sun Jan 15 14:45:06 2012 -0500
@@ -1,4 +1,3 @@
-debug
 library versioned
 database dbname=test
 sql versioned1.sql
diff -r 3636d0eeb39c -r 5b2c7b9f6017 src/monoize.sml
--- a/src/monoize.sml	Sat Jan 14 23:02:34 2012 +0400
+++ b/src/monoize.sml	Sun Jan 15 14:45:06 2012 -0500
@@ -3247,11 +3247,11 @@
                                              in
                                                  case x of
                                                      "Onkeyup" =>
-                                                     SOME (strcat [str ("((function(c){addOnKeyUp(d,function(){window.uw_event=window.event;return c();});})(exec("),
+                                                     SOME (strcat [str ("((function(c){addOnKeyUp(d,function(ev){window.uw_event=ev?ev:window.event;return c();});})(exec("),
                                                                    (L'.EJavaScript (L'.Script, e), loc),
                                                                    str ")));"])
                                                    | _ =>
-                                                     SOME (strcat [str ("((function(c){d." ^ lowercaseFirst x ^ "=function(){window.uw_event=window.event;return c();};})(exec("),
+                                                     SOME (strcat [str ("((function(c){d." ^ lowercaseFirst x ^ "=function(ev){window.uw_event=ev?ev:window.event;return c();};})(exec("),
                                                                    (L'.EJavaScript (L'.Script, e), loc),
                                                                    str ")));"])
                                              end