www

commit 90f77e33a54246d350ed5570c0b13c5124ecd035
parent 1af16807156594d74749fe895578e076a658c085
Author: zorkow <volker.sorge@gmail.com>
Date:   Wed, 16 Sep 2015 11:31:56 +0100

Fixes the menu bug introduced by giving separators a role.

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

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git 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]);
     },