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]);
},