www

commit 6cc308b5d0ff98704cb5e127ba42dbddfd23cf36
parent f73453512b9c6785a4df18fae8bc04360d18b69b
Author: zorkow <volker.sorge@gmail.com>
Date:   Tue,  1 Sep 2015 02:40:41 +0100

Enables to untrigger menu with space.

Diffstat:
M
unpacked/extensions/MathMenu.js
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git 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);
     }
   },{