www

commit 2143219d9ba2263f93a04e0311b8b4b218895321
parent 0895c284d3ed3d9b15ad8d694ed9bca0a5ece8b8
Author: zorkow <volker.sorge@gmail.com>
Date:   Mon, 31 Aug 2015 21:08:27 +0100

Adds navigation role to main menu.

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

1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
@@ -285,7 +285,8 @@
       var menu = HTML.Element("div",{
         onmouseup: MENU.Mouseup, ondblclick: FALSE,
         ondragstart: FALSE, onselectstart: FALSE, oncontextmenu: FALSE,
-        menuItem: this, className: "MathJax_Menu", onkeydown: MENU.Keydown
+        menuItem: this, className: "MathJax_Menu", onkeydown: MENU.Keydown,
+        role: "navigation"
       });
       if (!forceLTR) {MathJax.Localization.setCSS(menu)}
 
@@ -412,8 +413,6 @@
 
     config: CONFIG,
 
-    div: null,     // the DOM elements for the menu and submenus
-
     Remove:     function (event) {return MENU.Event(event,this,"Remove")},
     Mouseover:  function (event) {return MENU.Event(event,this,"Mouseover")},
     Mouseout:   function (event) {return MENU.Event(event,this,"Mouseout")},
@@ -449,7 +448,8 @@
     },
 
     Background: function (menu) {
-      var div = HTML.addElement(document.body,"div",{style:this.BGSTYLE, id:"MathJax_MenuFrame"},
+      var div = HTML.addElement(document.body,"div",
+                    {style:this.BGSTYLE, id:"MathJax_MenuFrame"},
                     [["div",{style: this.BGSTYLE, menuItem: menu, onmousedown: this.Remove}]]);
       var bg = div.firstChild;
       if (MENU.msieBackgroundBug) {
@@ -1115,6 +1115,7 @@
         W = Math.max(100,Math.min(Math.floor(.5*screen.width),table.offsetWidth+W+25));
         H = Math.max(40,Math.min(Math.floor(.5*screen.height),table.offsetHeight+H+25));
         if (MENU.prototype.msieHeightBug) {H += 35}; // for title bar in XP
+        console.log(W + ' ' + H);
         w.resizeTo(W,H);
         var X; try {X = event.screenX} catch (e) {}; // IE8 throws an error accessing screenX
         if (event && X != null) {