Add more global mouse event hooks

1 files changed, 12 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);
 }