diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-07-23 08:38:39 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-07-23 08:38:39 -0400 |
commit | 49a041fd2569915d3cae43b0899dae75b32622d4 (patch) | |
tree | 5356cce65f35d10b6e2e82284d009d1eb6f445d3 /lib | |
parent | f92a38c957b15bd5c4243d6aba527a1db8edc473 (diff) |
Add more global mouse event hooks
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 12 | ||||
-rw-r--r-- | lib/ur/basis.urs | 3 |
2 files changed, 15 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 1f003fc3..63aab9b5 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -504,6 +504,18 @@ function uw_onMousedown(f) { uw_handler("onmousedown", f); } +function uw_onMousemove(f) { + uw_handler("onmousemove", f); +} + +function uw_onMouseout(f) { + uw_handler("onmouseout", f); +} + +function uw_onMouseover(f) { + uw_handler("onmouseover", f); +} + function uw_onMouseup(f) { uw_handler("onmouseup", f); } 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 *) |