diff lib/js/urweb.js @ 1791:2f8b8952fe27

Add more global mouse event hooks
author Adam Chlipala <adam@chlipala.net>
date Mon, 23 Jul 2012 08:38:39 -0400
parents 56b8efff64e7
children 3d823d8424cc
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Jul 22 09:42:17 2012 -0400
+++ b/lib/js/urweb.js	Mon Jul 23 08:38:39 2012 -0400
@@ -504,6 +504,18 @@
     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);
 }