From 6cc308b5d0ff98704cb5e127ba42dbddfd23cf36 Mon Sep 17 00:00:00 2001
From: zorkow <volker.sorge@gmail.com>
Date: Tue, 1 Sep 2015 02:40:41 +0100
Subject: [PATCH] Enables to untrigger menu with space.

---
 unpacked/extensions/MathMenu.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index 47fe8b225..41a2d47f2 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -416,6 +416,9 @@
     Down: function(event, menu) {
       var node = menu.firstChild;
       node.menuItem.Activate(event, node);
+    },
+    Space: function(event, menu) {
+      this.Remove(event, menu);
     }
   },{