diff lib/ur/basis.urs @ 1791:2f8b8952fe27

Add more global mouse event hooks
author Adam Chlipala <adam@chlipala.net>
date Mon, 23 Jul 2012 08:38:39 -0400
parents 69daa6d70299
children 3d922a28370b
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Jul 22 09:42:17 2012 -0400
+++ b/lib/ur/basis.urs	Mon Jul 23 08:38:39 2012 -0400
@@ -981,6 +981,9 @@
 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 *)