summaryrefslogtreecommitdiff
path: root/resources/dynmenu.js
diff options
context:
space:
mode:
Diffstat (limited to 'resources/dynmenu.js')
-rw-r--r--resources/dynmenu.js76
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);
}