From 3c2e3ecb8f63fd716eeb80b6e199a60ada5759aa Mon Sep 17 00:00:00 2001 From: Tom Hughes Date: Wed, 22 Dec 2010 18:29:50 +0000 Subject: [PATCH] Close the editor menu as soon as a choice is made --- public/javascripts/menu.js | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/public/javascripts/menu.js b/public/javascripts/menu.js index 9f88f0e0c..5b4c3050e 100644 --- a/public/javascripts/menu.js +++ b/public/javascripts/menu.js @@ -10,6 +10,14 @@ function openMenu(anchor, menu) { }); } +/* + * Close a menu. + */ +function closeMenu(menu) { + clearTimeout(menu.timer); + menu.style.display = "none"; +} + /* * Callback called when the mouse enters a menu anchor. */ @@ -58,7 +66,9 @@ function createMenu(anchorid, menuid, delay) { var anchor = $(anchorid); var menu = $(menuid); + anchor.observe("mouseup", function (event) { closeMenu(menu) }); anchor.observe("mouseover", function (event) { enterMenuAnchor(anchor, anchor, menu, delay) }); anchor.observe("mouseout", function (event) { leaveMenuAnchor(event, anchor, menu) }); + menu.observe("mouseup", function (event) { closeMenu(menu) }); menu.observe("mouseout", function (event) { leaveMenu(event, anchor, menu) }); } -- 2.39.5