Mercurial > urweb

diff src/settings.sml @ 1783:5bc4fbf9c0fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New event records for key and mouse handlers
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:02:53 -0400
parents 818d4097e2ed
children ffd7ed3bc0b7
line wrap: on
line diff
--- a/src/settings.sml	Wed Jul 18 17:29:13 2012 -0400
+++ b/src/settings.sml	Sat Jul 21 10:02:53 2012 -0400
@@ -160,7 +160,8 @@
                         "onConnectFail",
                         "onDisconnect",
                         "onServerError",
-                        "kc",
+                        "mouseEvent",
+                        "keyEvent",
                         "debug",
                         "rand",
                         "now",
@@ -194,7 +195,8 @@
                         "onConnectFail",
                         "onDisconnect",
                         "onServerError",
-                        "kc",
+                        "mouseEvent",
+                        "keyEvent",
                         "onClick",
                         "onDblclick",
                         "onKeydown",
@@ -267,7 +269,8 @@
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),
                           ("strlenGe", "strlenGe"),
-                          ("kc", "kc"),
+                          ("mouseEvent", "uw_mouseEvent"),
+                          ("keyEvent", "uw_keyEvent"),
                           ("minTime", "0"),
 
                           ("islower", "isLower"),