- GuacamoleUI.menu.addEventListener('mouseout', function(e) {
-
- // Get parent of the element the mouse pointer is leaving
- if (!e) e = window.event;
- var target = e.relatedTarget || e.toElement;
-
- // Ensure target is not menu nor child of menu
- var targetParent = target;
- while (targetParent != null) {
- if (targetParent == GuacamoleUI.menu) return;
- targetParent = targetParent.parentNode;
- }
-
- // If not already waiting, start detection of mouse leave
- if (detectMenuCloseTimeout == null) {
- detectMenuCloseTimeout = window.setTimeout(function() {
- GuacamoleUI.shadeMenu();
- detectMenuCloseTimeout = null;
- }, 750);
- }
-
- }, true);
-
- // When mouse hovers over top of screen, start detection of mouse hover
- GuacamoleUI.menuControl.addEventListener('mousemove', function() {