aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
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 /lib/ur/basis.urs
parent2efa6af70a4b42a98360bec539e327031dc1d3dc (diff)
Add more global mouse event hooks
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index cb5d16ea..101f8e63 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -981,6 +981,9 @@ val onKeydown : (keyEvent -> transaction unit) -> transaction unit
val onKeypress : (keyEvent -> transaction unit) -> transaction unit
val onKeyup : (keyEvent -> transaction unit) -> transaction unit
val onMousedown : (mouseEvent -> transaction unit) -> transaction unit
+val onMousemove : (mouseEvent -> transaction unit) -> transaction unit
+val onMouseout : (mouseEvent -> transaction unit) -> transaction unit
+val onMouseover : (mouseEvent -> transaction unit) -> transaction unit
val onMouseup : (mouseEvent -> transaction unit) -> transaction unit
(* Prevents default handling of current event *)