summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-07-23 08:38:39 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-07-23 08:38:39 -0400
commit0cb456bbab73abfd9c08af101d1dfe71cf2d41d4 (patch)
tree5356cce65f35d10b6e2e82284d009d1eb6f445d3 /src/settings.sml
parent2efa6af70a4b42a98360bec539e327031dc1d3dc (diff)
Add more global mouse event hooks
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 9359337d..6712925f 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -174,6 +174,9 @@ val benignBase = basis ["get_cookie",
"onKeypress",
"onKeyup",
"onMousedown",
+ "onMousemove",
+ "onMouseout",
+ "onMouseover",
"onMouseup",
"preventDefault",
"stopPropagation",
@@ -204,6 +207,9 @@ val clientBase = basis ["get_client_source",
"onKeypress",
"onKeyup",
"onMousedown",
+ "onMousemove",
+ "onMouseout",
+ "onMouseover",
"onMouseup",
"preventDefault",
"stopPropagation",
@@ -320,6 +326,9 @@ val jsFuncsBase = basisM [("alert", "alert"),
("onKeypress", "uw_onKeypress"),
("onKeyup", "uw_onKeyup"),
("onMousedown", "uw_onMousedown"),
+ ("onMousemove", "uw_onMousemove"),
+ ("onMouseout", "uw_onMouseout"),
+ ("onMouseover", "uw_onMouseover"),
("onMouseup", "uw_onMouseup"),
("preventDefault", "uw_preventDefault"),
("stopPropagation", "uw_stopPropagation"),