From 49a041fd2569915d3cae43b0899dae75b32622d4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 23 Jul 2012 08:38:39 -0400
Subject: Add more global mouse event hooks

---
 lib/js/urweb.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'lib/js')

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);
 }
-- 
cgit v1.2.3