- function moveMouse(clientX, clientY) {
-
- guac_mouse.currentState.x = clientX - element.offsetLeft;
- guac_mouse.currentState.y = clientY - element.offsetTop;
-
- // This is all JUST so we can get the mouse position within the element
- var parent = element.offsetParent;
- while (parent && !(parent === document.body)) {
- guac_mouse.currentState.x -= parent.offsetLeft - parent.scrollLeft;
- guac_mouse.currentState.y -= parent.offsetTop - parent.scrollTop;
-
- parent = parent.offsetParent;
- }
-
- // Offset by document scroll amount
- var documentScrollLeft = document.body.scrollLeft || document.documentElement.scrollLeft;
- var documentScrollTop = document.body.scrollTop || document.documentElement.scrollTop;
-
- guac_mouse.currentState.x -= parent.offsetLeft - documentScrollLeft;
- guac_mouse.currentState.y -= parent.offsetTop - documentScrollTop;
-
- if (guac_mouse.onmousemove)
- deferred_mouse_event = window.setTimeout(function() {
- guac_mouse.onmousemove(guac_mouse.currentState);
- deferred_mouse_event = null;
- }, 0);
-
- }
-
-