From 2f834334223e78792224578dc86470ab659b77b1 Mon Sep 17 00:00:00 2001
From: zorkow <volker.sorge@gmail.com>
Date: Fri, 21 Aug 2015 12:59:28 +0100
Subject: [PATCH] Makes Attributes interface uniform.

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

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index e4be5c4b1..7237a0092 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -423,7 +423,6 @@
       return MENU.Event(event,this.menu||this.parentNode,(this.menu?"Touchend":"Remove"));
     },
     Event: function (event,menu,type,force) {
-      console.log(type);
       if (MENU.skipMouseover && type === "Mouseover" && !force) {return FALSE(event)}
       if (MENU.skipUp) {
         if (type.match(/Mouseup|Touchend/)) {delete MENU.skipUp; return FALSE(event)}
@@ -686,13 +685,14 @@
 
     role: "menuitem",  // Aria role.
 
-    Attributes: function() {
-      var def = this.SUPER(arguments).Attributes.call(
-        this,
+    Attributes: function(def) {
+      def = HUB.Insert(
         {onmouseover: MENU.Mouseover, onmouseout: MENU.Mouseout,
          onmousedown: MENU.Mousedown, role: this.role,
          onkeydown: MENU.Keydown,
-         'aria-disabled': !!this.disabled});
+         'aria-disabled': !!this.disabled},
+        def);
+      def = this.SUPER(arguments).Attributes.call(this, def);
       if (this.disabled) {
         def.className += " MathJax_MenuDisabled";
       }