diff options
Diffstat (limited to 'resources/dynmenu.js')
-rw-r--r-- | resources/dynmenu.js | 76 |
1 files changed, 38 insertions, 38 deletions
diff --git a/resources/dynmenu.js b/resources/dynmenu.js index a10296b..db38727 100644 --- a/resources/dynmenu.js +++ b/resources/dynmenu.js @@ -6,86 +6,86 @@ var last_timeout = null; function prepareLastPopped(evt) { - last_popped.onmouseleave = removeLastPopped; + last_popped.onmouseleave = removeLastPopped; - popped_in_use = true; + popped_in_use = true; } function removeLastPopped(evt) { - if (last_popped != null) { + if (last_popped != null) { - last_popped.parentNode.removeChild(last_popped); - last_popped = null; + last_popped.parentNode.removeChild(last_popped); + last_popped = null; - } + } } function forcePoppedHiding(evt) { - function cancelPopping() { + function cancelPopping() { - last_timeout = null; + last_timeout = null; - if (!popped_in_use) { + if (!popped_in_use) { - removeLastPopped(null); + removeLastPopped(null); - } + } - } + } - last_timeout = setTimeout(cancelPopping, 500); + last_timeout = setTimeout(cancelPopping, 500); } function showMenu(target, inner) { - function waitForEvent(evt) { + function waitForEvent(evt) { - if (last_timeout != null) { + if (last_timeout != null) { - clearTimeout(last_timeout); - last_timeout = null; + clearTimeout(last_timeout); + last_timeout = null; - } + } - removeLastPopped(null); + removeLastPopped(null); - if (inner == null) - return; + if (inner == null) + return; - var menubar = document.createElement('div'); + var menubar = document.createElement('div'); - menubar.id = 'myMenu'; - menubar.className = 'menu_arrow_box' - menubar.innerHTML = inner ; - document.body.insertBefore(menubar, document.body.childNodes[0]); + menubar.id = 'myMenu'; + menubar.className = 'menu_arrow_box' + menubar.innerHTML = inner ; + document.body.insertBefore(menubar, document.body.childNodes[0]); - var rect = target.getBoundingClientRect(); - var menu_rect = menubar.getBoundingClientRect(); + var rect = target.getBoundingClientRect(); + var menu_rect = menubar.getBoundingClientRect(); - menubar.style.left = (rect.left - (menu_rect.width - rect.width) / 2) + "px"; - menubar.style.top = (rect.bottom + 20) + "px"; + menubar.style.left = (rect.left - (menu_rect.width - rect.width) / 2) + "px"; + menubar.style.top = (rect.bottom + 20) + "px"; - last_popped = menubar; - popped_in_use = false; + last_popped = menubar; + popped_in_use = false; - menubar.onmouseenter = prepareLastPopped; - target.onmouseleave = forcePoppedHiding; + menubar.onmouseenter = prepareLastPopped; + target.onmouseleave = forcePoppedHiding; - } + } - return waitForEvent; + return waitForEvent; } function addMenuToID(id, inner) { - var target = document.getElementById(id); + var target = document.getElementById(id); - target.onmouseenter = showMenu(target, inner); + target.onmouseenter = showMenu(target, inner); } |