From faeae3e105c8ba550dbf5a22d6c16360116cac4b Mon Sep 17 00:00:00 2001
From: zorkow <volker.sorge@gmail.com>
Date: Tue, 1 Sep 2015 01:58:38 +0100
Subject: [PATCH] Fixes interference problems with submenu timer.

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

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index d879b6364..273aaa403 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -864,6 +864,10 @@
       }
       MENU.Focus(menu);
     },
+    MoveVertical: function(event, item, move) {
+      this.ClearTimer();
+      this.SUPER(arguments).MoveVertical.apply(this, arguments);
+    },
     MoveHorizontal: function(event, menu, move, rtl) {
       if (this.disabled) {
         return;