From 90f77e33a54246d350ed5570c0b13c5124ecd035 Mon Sep 17 00:00:00 2001
From: zorkow <volker.sorge@gmail.com>
Date: Wed, 16 Sep 2015 11:31:56 +0100
Subject: [PATCH] Fixes the menu bug introduced by giving separators a role.

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

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index 60ecf494a..278f9f766 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -709,7 +709,8 @@
       var children = menuNode.childNodes;
       do {
         index = MENU.Mod(move(index), len);
-      } while (items[index].hidden || !children[index].role);
+      } while (items[index].hidden || !children[index].role ||
+               children[index].role === "separator");
       this.Deactivate(item);
       items[index].Activate(event, children[index]);
     },