From 3c2e3ecb8f63fd716eeb80b6e199a60ada5759aa Mon Sep 17 00:00:00 2001
From: Tom Hughes <tom@compton.nu>
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