/* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */ /* vim: set ts=2 et sw=2 tw=80: */ /************************************************************* * * MathJax/extensions/MathMenu.js * * Implements a right-mouse (or CTRL-click) menu over mathematics * elements that gives the user the ability to copy the source, * change the math size, and zoom settings. * * --------------------------------------------------------------------- * * Copyright (c) 2010-2013 The MathJax Consortium * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ (function (HUB,HTML,AJAX,CALLBACK,OUTPUT) { var VERSION = "2.2"; var SIGNAL = MathJax.Callback.Signal("menu") // signal for menu events MathJax.Extension.MathMenu = { version: VERSION, signal: SIGNAL }; var _ = function (id) { return MathJax.Localization._.apply( MathJax.Localization, [["MathMenu",id]].concat([].slice.call(arguments,1)) ); }; var isPC = HUB.Browser.isPC, isMSIE = HUB.Browser.isMSIE, isIE9 = ((document.documentMode||0) > 8); var ROUND = (isPC ? null : "5px"); var CONFIG = HUB.CombineConfig("MathMenu",{ delay: 150, // the delay for submenus closeImg: AJAX.fileURL(OUTPUT.imageDir+"/CloseX-31.png"), // image for close "X" for mobiles showRenderer: true, // show the "Math Renderer" menu? showMathPlayer: true, // show the "MathPlayer" menu? showFontMenu: false, // show the "Font Preference" menu? showContext: false, // show the "Context Menu" menu? showDiscoverable: false, // show the "Discoverable" menu? showLocale: true, // show the "Locale" menu? showLocaleURL: false, // show the "Load from URL" menu? windowSettings: { // for source window status: "no", toolbar: "no", locationbar: "no", menubar: "no", directories: "no", personalbar: "no", resizable: "yes", scrollbars: "yes", width: 400, height: 300, left: Math.round((screen.width - 400)/2), top: Math.round((screen.height - 300)/3) }, styles: { "#MathJax_About": { position:"fixed", left:"50%", width:"auto", "text-align":"center", border:"3px outset", padding:"1em 2em", "background-color":"#DDDDDD", color:"black", cursor: "default", "font-family":"message-box", "font-size":"120%", "font-style":"normal", "text-indent":0, "text-transform":"none", "line-height":"normal", "letter-spacing":"normal", "word-spacing":"normal", "word-wrap":"normal", "white-space":"nowrap", "float":"none", "z-index":201, "border-radius": "15px", // Opera 10.5 and IE9 "-webkit-border-radius": "15px", // Safari and Chrome "-moz-border-radius": "15px", // Firefox "-khtml-border-radius": "15px", // Konqueror "box-shadow":"0px 10px 20px #808080", // Opera 10.5 and IE9 "-webkit-box-shadow":"0px 10px 20px #808080", // Safari 3 and Chrome "-moz-box-shadow":"0px 10px 20px #808080", // Forefox 3.5 "-khtml-box-shadow":"0px 10px 20px #808080", // Konqueror filter: "progid:DXImageTransform.Microsoft.dropshadow(OffX=2, OffY=2, Color='gray', Positive='true')" // IE }, ".MathJax_Menu": { position:"absolute", "background-color":"white", color:"black", width:"auto", padding:(isPC ? "2px" : "5px 0px"), border:"1px solid #CCCCCC", margin:0, cursor:"default", font: "menu", "text-align":"left", "text-indent":0, "text-transform":"none", "line-height":"normal", "letter-spacing":"normal", "word-spacing":"normal", "word-wrap":"normal", "white-space":"nowrap", "float":"none", "z-index":201, "border-radius": ROUND, // Opera 10.5 and IE9 "-webkit-border-radius": ROUND, // Safari and Chrome "-moz-border-radius": ROUND, // Firefox "-khtml-border-radius": ROUND, // Konqueror "box-shadow":"0px 10px 20px #808080", // Opera 10.5 and IE9 "-webkit-box-shadow":"0px 10px 20px #808080", // Safari 3 and Chrome "-moz-box-shadow":"0px 10px 20px #808080", // Forefox 3.5 "-khtml-box-shadow":"0px 10px 20px #808080", // Konqueror filter: "progid:DXImageTransform.Microsoft.dropshadow(OffX=2, OffY=2, Color='gray', Positive='true')" // IE }, ".MathJax_MenuItem": { padding: (isPC ? "2px 2em" : "1px 2em"), background:"transparent" }, ".MathJax_MenuArrow": { position:"absolute", right:".5em", color:"#666666", "font-family": (isMSIE ? "'Arial unicode MS'" : null) }, ".MathJax_MenuActive .MathJax_MenuArrow": {color:"white"}, ".MathJax_MenuCheck": { position:"absolute", left:".7em", "font-family": (isMSIE ? "'Arial unicode MS'" : null) }, ".MathJax_MenuRadioCheck": { position:"absolute", left: (isPC ? "1em" : ".7em") }, ".MathJax_MenuLabel": { padding: (isPC ? "2px 2em 4px 1.33em" : "1px 2em 3px 1.33em"), "font-style":"italic" }, ".MathJax_MenuRule": { "border-top": (isPC ? "1px solid #CCCCCC" : "1px solid #DDDDDD"), margin: (isPC ? "4px 1px 0px" : "4px 3px") }, ".MathJax_MenuDisabled": { color:"GrayText" }, ".MathJax_MenuActive": { "background-color": (isPC ? "Highlight" : "#606872"), color: (isPC ? "HighlightText" : "white") }, ".MathJax_Menu_Close": { position:"absolute", width: "31px", height: "31px", top:"-15px", left:"-15px" } } }); var FALSE, HOVER; HUB.Register.StartupHook("MathEvents Ready",function () { FALSE = MathJax.Extension.MathEvents.Event.False; HOVER = MathJax.Extension.MathEvents.Hover; }); /*************************************************************/ /* * The main menu class */ var MENU = MathJax.Menu = MathJax.Object.Subclass({ version: VERSION, items: [], posted: false, title: null, margin: 5, Init: function (def) {this.items = [].slice.call(arguments,0)}, With: function (def) {if (def) {HUB.Insert(this,def)}; return this}, /* * Display the menu */ Post: function (event,parent) { if (!event) {event = window.event}; var div = document.getElementById("MathJax_MenuFrame"); if (!div) { div = MENU.Background(this); delete ITEM.lastItem; delete ITEM.lastMenu; delete MENU.skipUp; SIGNAL.Post(["post",MENU.jax]); } var menu = HTML.addElement(div,"div",{ onmouseup: MENU.Mouseup, ondblclick: FALSE, ondragstart: FALSE, onselectstart: FALSE, oncontextmenu: FALSE, menuItem: this, className: "MathJax_Menu" }); MathJax.Localization.setCSS(menu); for (var i = 0, m = this.items.length; i < m; i++) {this.items[i].Create(menu)} if (MENU.isMobile) { HTML.addElement(menu,"span",{ className: "MathJax_Menu_Close", menu: parent, ontouchstart: MENU.Close, ontouchend: FALSE, onmousedown: MENU.Close, onmouseup: FALSE },[["img",{src: CONFIG.closeImg, style:{width:"100%",height:"100%"}}]]); } this.posted = true; menu.style.width = (menu.offsetWidth+2) + "px"; var x = event.pageX, y = event.pageY; if (!x && !y) { x = event.clientX + document.body.scrollLeft + document.documentElement.scrollLeft; y = event.clientY + document.body.scrollTop + document.documentElement.scrollTop; } if (!parent) { if (x + menu.offsetWidth > document.body.offsetWidth - this.margin) {x = document.body.offsetWidth - menu.offsetWidth - this.margin} if (MENU.isMobile) {x = Math.max(5,x-Math.floor(menu.offsetWidth/2)); y -= 20} MENU.skipUp = event.isContextMenu; } else { var side = "left", mw = parent.offsetWidth; x = (MENU.isMobile ? 30 : mw - 2); y = 0; while (parent && parent !== div) { x += parent.offsetLeft; y += parent.offsetTop; parent = parent.parentNode; } if (x + menu.offsetWidth > document.body.offsetWidth - this.margin && !MENU.isMobile) {side = "right"; x = Math.max(this.margin,x - mw - menu.offsetWidth + 6)} if (!isPC) { // in case these ever get implemented menu.style["borderRadiusTop"+side] = 0; // Opera 10.5 menu.style["WebkitBorderRadiusTop"+side] = 0; // Safari and Chrome menu.style["MozBorderRadiusTop"+side] = 0; // Firefox menu.style["KhtmlBorderRadiusTop"+side] = 0; // Konqueror } } menu.style.left = x+"px"; menu.style.top = y+"px"; if (document.selection && document.selection.empty) {document.selection.empty()} return FALSE(event); }, /* * Remove the menu from the screen */ Remove: function (event,menu) { SIGNAL.Post(["unpost",MENU.jax]); var div = document.getElementById("MathJax_MenuFrame"); if (div) { div.parentNode.removeChild(div); if (this.msieFixedPositionBug) {detachEvent("onresize",MENU.Resize)} } if (MENU.jax.hover) { delete MENU.jax.hover.nofade; HOVER.UnHover(MENU.jax); } return FALSE(event); }, /* * Find an item in a menu (or submenu) by name (Find) or ID (FindID). * A list of names or IDs means descend into submenus. */ Find: function (name) {return this.FindN(1,name,[].slice.call(arguments,1))}, FindId: function (name) {return this.FindN(0,name,[].slice.call(arguments,1))}, FindN: function (n,name,names) { for (var i = 0, m = this.items.length; i < m; i++) { if (this.items[i].name[n] === name) { if (names.length) { if (!this.items[i].menu) {return null} return this.items[i].menu.FindN(n,names[0],names.slice(1)); } return this.items[i]; } } return null; }, /* * Find the index of a menu item (so we can insert before or after it) */ IndexOf: function (name) {return this.IndexOfN(1,name)}, IndexOfId: function (name) {return this.IndexOfN(0,name)}, IndexOfN: function (n,name) { for (var i = 0, m = this.items.length; i < m; i++) {if (this.items[i].name[n] === name) {return i}} return null; } },{ config: CONFIG, div: null, // the DOM elements for the menu and submenus Close: function (event) {return MENU.Event(event,this.menu||this.parentNode,(this.menu?"Touchend":"Remove"))}, 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")}, Mousedown: function (event) {return MENU.Event(event,this,"Mousedown")}, Mouseup: function (event) {return MENU.Event(event,this,"Mouseup")}, Touchstart: function (event) {return MENU.Event(event,this,"Touchstart")}, Touchend: function (event) {return MENU.Event(event,this,"Touchend")}, Event: function (event,menu,type,force) { if (MENU.skipMouseover && type === "Mouseover" && !force) {return FALSE(event)} if (MENU.skipUp) { if (type.match(/Mouseup|Touchend/)) {delete MENU.skipUp; return FALSE(event)} if (type === "Touchstart" || (type === "Mousedown" && !MENU.skipMousedown)) {delete MENU.skipUp} } if (!event) {event = window.event} var item = menu.menuItem; if (item && item[type]) {return item[type](event,menu)} return null; }, /* * Style for the background DIV */ BGSTYLE: { position:"absolute", left:0, top:0, "z-index":200, width:"100%", height:"100%", border:0, padding:0, margin:0 }, Background: function (menu) { 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) { // MSIE doesn't allow transparent background to be hit boxes, so // fake it using opacity with solid background color bg.style.backgroundColor = "white"; bg.style.filter = "alpha(opacity=0)"; } if (MENU.msieFixedPositionBug) { // MSIE can't do fixed position, so use a full-sized background // and an onresize handler to update it (stupid, but necessary) div.width = div.height = 0; this.Resize(); attachEvent("onresize",this.Resize); } else { // otherwise, use a fixed position DIV to cover the viewport bg.style.position = "fixed"; } return div; }, Resize: function () {setTimeout(MENU.SetWH,0)}, SetWH: function () { var bg = document.getElementById("MathJax_MenuFrame"); if (bg) { bg = bg.firstChild; bg.style.width = bg.style.height = "1px"; // so scrollWidth/Height will be right below bg.style.width = document.body.scrollWidth + "px"; bg.style.height = document.body.scrollHeight + "px"; } }, saveCookie: function () {HTML.Cookie.Set("menu",this.cookie)}, getCookie: function () {this.cookie = HTML.Cookie.Get("menu")}, // // Preload images so they show up with the menu // getImages: function () { if (MENU.isMobile) {var close = new Image(); close.src = CONFIG.closeImg} } }); /*************************************************************/ /* * The menu item root subclass */ var ITEM = MENU.ITEM = MathJax.Object.Subclass({ name: "", // the menu item's label as [id,label] pair Create: function (menu) { if (!this.hidden) { var def = { onmouseover: MENU.Mouseover, onmouseout: MENU.Mouseout, onmouseup: MENU.Mouseup, onmousedown: MENU.Mousedown, ondragstart: FALSE, onselectstart: FALSE, onselectend: FALSE, ontouchstart: MENU.Touchstart, ontouchend: MENU.Touchend, className: "MathJax_MenuItem", menuItem: this }; if (this.disabled) {def.className += " MathJax_MenuDisabled"} HTML.addElement(menu,"div",def,this.Label(def,menu)); } }, Name: function () {return _(this.name[0],this.name[1])}, Mouseover: function (event,menu) { if (!this.disabled) {this.Activate(menu)} if (!this.menu || !this.menu.posted) { var menus = document.getElementById("MathJax_MenuFrame").childNodes, items = menu.parentNode.childNodes; for (var i = 0, m = items.length; i < m; i++) { var item = items[i].menuItem; if (item && item.menu && item.menu.posted) {item.Deactivate(items[i])} } m = menus.length-1; while (m >= 0 && menu.parentNode.menuItem !== menus[m].menuItem) { menus[m].menuItem.posted = false; menus[m].parentNode.removeChild(menus[m]); m--; } if (this.Timer && !MENU.isMobile) {this.Timer(event,menu)} } }, Mouseout: function (event,menu) { if (!this.menu || !this.menu.posted) {this.Deactivate(menu)} if (this.timer) {clearTimeout(this.timer); delete this.timer} }, Mouseup: function (event,menu) {return this.Remove(event,menu)}, Touchstart: function (event,menu) {return this.TouchEvent(event,menu,"Mousedown")}, Touchend: function (event,menu) {return this.TouchEvent(event,menu,"Mouseup")}, TouchEvent: function (event,menu,type) { if (this !== ITEM.lastItem) { if (ITEM.lastMenu) {MENU.Event(event,ITEM.lastMenu,"Mouseout")} MENU.Event(event,menu,"Mouseover",true); ITEM.lastItem = this; ITEM.lastMenu = menu; } if (this.nativeTouch) {return null} MENU.Event(event,menu,type); return false; }, Remove: function (event,menu) { menu = menu.parentNode.menuItem; return menu.Remove(event,menu); }, Activate: function (menu) {this.Deactivate(menu); menu.className += " MathJax_MenuActive"}, Deactivate: function (menu) {menu.className = menu.className.replace(/ MathJax_MenuActive/,"")}, With: function (def) {if (def) {HUB.Insert(this,def)}; return this} }); /*************************************************************/ /* * A menu item that performs a command when selected */ MENU.ITEM.COMMAND = MENU.ITEM.Subclass({ action: function () {}, Init: function (name,action,def) { if (!(name instanceof Array)) {name = [name,name]} // make [id,label] pair this.name = name; this.action = action; this.With(def); }, Label: function (def,menu) {return [this.Name()]}, Mouseup: function (event,menu) { if (!this.disabled) { this.Remove(event,menu); SIGNAL.Post(["command",this]); this.action.call(this,event); } return FALSE(event); } }); /*************************************************************/ /* * A menu item that posts a submenu */ MENU.ITEM.SUBMENU = MENU.ITEM.Subclass({ menu: null, // the submenu marker: (isPC && !HUB.Browser.isSafari ? "\u25B6" : "\u25B8"), // the menu arrow Init: function (name,def) { if (!(name instanceof Array)) {name = [name,name]} // make [id,label] pair this.name = name; var i = 1; if (!(def instanceof MENU.ITEM)) {this.With(def), i++} this.menu = MENU.apply(MENU,[].slice.call(arguments,i)); }, Label: function (def,menu) { this.menu.posted = false; return [this.Name()+" ",["span",{className:"MathJax_MenuArrow"},[this.marker]]]; }, Timer: function (event,menu) { if (this.timer) {clearTimeout(this.timer)} event = {clientX: event.clientX, clientY: event.clientY}; // MSIE can't pass the event below this.timer = setTimeout(CALLBACK(["Mouseup",this,event,menu]),CONFIG.delay); }, Touchend: function (event,menu) { var forceout = this.menu.posted; var result = this.SUPER(arguments).Touchend.apply(this,arguments); if (forceout) {this.Deactivate(menu); delete ITEM.lastItem; delete ITEM.lastMenu} return result; }, Mouseup: function (event,menu) { if (!this.disabled) { if (!this.menu.posted) { if (this.timer) {clearTimeout(this.timer); delete this.timer} this.menu.Post(event,menu); } else { var menus = document.getElementById("MathJax_MenuFrame").childNodes, m = menus.length-1; while (m >= 0) { var child = menus[m]; child.menuItem.posted = false; child.parentNode.removeChild(child); if (child.menuItem === this.menu) {break}; m--; } } } return FALSE(event); } }); /*************************************************************/ /* * A menu item that is one of several radio buttons */ MENU.ITEM.RADIO = MENU.ITEM.Subclass({ variable: null, // the variable name marker: (isPC ? "\u25CF" : "\u2713"), // the checkmark Init: function (name,variable,def) { if (!(name instanceof Array)) {name = [name,name]} // make [id,label] pair this.name = name; this.variable = variable; this.With(def); if (this.value == null) {this.value = this.name[0]} }, Label: function (def,menu) { var span = {className:"MathJax_MenuRadioCheck"}; if (CONFIG.settings[this.variable] !== this.value) {span = {style:{display:"none"}}} return [["span",span,[this.marker]]," "+this.Name()]; }, Mouseup: function (event,menu) { if (!this.disabled) { var child = menu.parentNode.childNodes; for (var i = 0, m = child.length; i < m; i++) { var item = child[i].menuItem; if (item && item.variable === this.variable) {child[i].firstChild.style.display = "none"} } menu.firstChild.display = ""; CONFIG.settings[this.variable] = this.value; MENU.cookie[this.variable] = CONFIG.settings[this.variable]; MENU.saveCookie(); SIGNAL.Post(["radio button",this]); } this.Remove(event,menu); if (this.action && !this.disabled) {this.action.call(MENU,this)} return FALSE(event); } }); /*************************************************************/ /* * A menu item that is checkable */ MENU.ITEM.CHECKBOX = MENU.ITEM.Subclass({ variable: null, // the variable name marker: "\u2713", // the checkmark Init: function (name,variable,def) { if (!(name instanceof Array)) {name = [name,name]} // make [id,label] pair this.name = name; this.variable = variable; this.With(def); }, Label: function (def,menu) { var span = {className:"MathJax_MenuCheck"}; if (!CONFIG.settings[this.variable]) {span = {style:{display:"none"}}} return [["span",span,[this.marker]]," "+this.Name()]; }, Mouseup: function (event,menu) { if (!this.disabled) { menu.firstChild.display = (CONFIG.settings[this.variable] ? "none" : ""); CONFIG.settings[this.variable] = !CONFIG.settings[this.variable]; MENU.cookie[this.variable] = CONFIG.settings[this.variable]; MENU.saveCookie(); SIGNAL.Post(["checkbox",this]); } this.Remove(event,menu); if (this.action && !this.disabled) {this.action.call(MENU,this)} return FALSE(event); } }); /*************************************************************/ /* * A menu item that is a label */ MENU.ITEM.LABEL = MENU.ITEM.Subclass({ Init: function (name,def) { if (!(name instanceof Array)) {name = [name,name]} // make [id,label] pair this.name = name; this.With(def); }, Label: function (def,menu) { delete def.onmouseover, delete def.onmouseout; delete def.onmousedown; def.className += " MathJax_MenuLabel"; return [this.Name()]; } }); /*************************************************************/ /* * A rule in a menu */ MENU.ITEM.RULE = MENU.ITEM.Subclass({ Label: function (def,menu) { delete def.onmouseover, delete def.onmouseout; delete def.onmousedown; def.className += " MathJax_MenuRule"; return null; } }); /*************************************************************/ /*************************************************************/ /* * Handle the ABOUT box */ MENU.About = function () { var HTMLCSS = OUTPUT["HTML-CSS"] || {}; var font = (HTMLCSS.imgFonts ? "image" : (HTMLCSS.fontInUse ? (HTMLCSS.webFonts ? "web" : "local")+" "+HTMLCSS.fontInUse : (OUTPUT.SVG ? "web SVG" : "generic")) ) + " fonts"; var format = (!HTMLCSS.webFonts || HTMLCSS.imgFonts ? null : HTMLCSS.allowWebFonts.replace(/otf/,"woff or otf") + " fonts"); var jax = ["MathJax.js v"+MathJax.fileversion,["br"]]; jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}]); MENU.About.GetJax(jax,MathJax.InputJax,["InputJax","%1 Input Jax v%2"]); MENU.About.GetJax(jax,MathJax.OutputJax,["OutputJax","%1 Output Jax v%2"]); MENU.About.GetJax(jax,MathJax.ElementJax,["ElementJax","%1 Element Jax v%2"]); jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}]); MENU.About.GetJax(jax,MathJax.Extension,["Extension","%1 Extension v%2"],true); jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}],["center",{},[ HUB.Browser + " v"+HUB.Browser.version + (format ? " \u2014 " + _(format.replace(/ /g,""),format) : "") ]]); MENU.About.div = MENU.Background(MENU.About); var about = HTML.addElement(MENU.About.div,"div",{ id: "MathJax_About" },[ ["b",{style:{fontSize:"120%"}},["MathJax"]]," v"+MathJax.version,["br"], _(font.replace(/ /g,""),"using "+font),["br"],["br"], ["span",{style:{ display:"inline-block", "text-align":"left", "font-size":"80%", "max-height":"20em", overflow:"auto", "background-color":"#E4E4E4", padding:".4em .6em", border:"1px inset" }},jax],["br"],["br"], ["a",{href:"http://www.mathjax.org/"},["www.mathjax.org"]], ["img", { src: CONFIG.closeImg, style: {width:"21px", height:"21px", position:"absolute", top:".2em", right:".2em"}, onclick: MENU.About.Remove }] ]); MathJax.Localization.setCSS(about); var doc = (document.documentElement||{}); var H = window.innerHeight || doc.clientHeight || doc.scrollHeight || 0; if (MENU.prototype.msieAboutBug) { about.style.width = "20em"; about.style.position = "absolute"; about.style.left = Math.floor((document.documentElement.scrollWidth - about.offsetWidth)/2)+"px"; about.style.top = (Math.floor((H-about.offsetHeight)/3)+document.body.scrollTop)+"px"; } else { about.style.marginLeft = Math.floor(-about.offsetWidth/2)+"px"; about.style.top = Math.floor((H-about.offsetHeight)/3)+"px"; } }; MENU.About.Remove = function (event) { if (MENU.About.div) {document.body.removeChild(MENU.About.div); delete MENU.About.div} }; MENU.About.GetJax = function (jax,JAX,type,noTypeCheck) { var info = []; for (var id in JAX) {if (JAX.hasOwnProperty(id) && JAX[id]) { if ((noTypeCheck && JAX[id].version) || (JAX[id].isa && JAX[id].isa(JAX))) {info.push(_(type[0],type[1],(JAX[id].id||id),JAX[id].version))} }} info.sort(); for (var i = 0, m = info.length; i < m; i++) {jax.push(info[i],["br"])} return jax; }; /* * Handle the MathJax HELP menu */ MENU.Help = function () { AJAX.Require("[MathJax]/extensions/HelpDialog.js", function () {MathJax.Extension.Help.Dialog()}); }; /* * Handle showing of element's source */ MENU.ShowSource = function (event) { if (!event) {event = window.event} var EVENT = {screenX:event.screenX, screenY:event.screenY}; if (!MENU.jax) return; if (this.format === "MathML") { var MML = MathJax.ElementJax.mml; if (MML && typeof(MML.mbase.prototype.toMathML) !== "undefined") { // toMathML() can call MathJax.Hub.RestartAfter, so trap errors and check try {MENU.ShowSource.Text(MENU.jax.root.toMathML(),event)} catch (err) { if (!err.restart) {throw err} CALLBACK.After([this,MENU.ShowSource,EVENT],err.restart); } } else if (!AJAX.loadingToMathML) { AJAX.loadingToMathML = true; MENU.ShowSource.Window(event); // WeBKit needs to open window on click event CALLBACK.Queue( AJAX.Require("[MathJax]/extensions/toMathML.js"), function () { delete AJAX.loadingToMathML; if (!MML.mbase.prototype.toMathML) {MML.mbase.prototype.toMathML = function () {}} }, [this,MENU.ShowSource,EVENT] // call this function again ); return; } } else if (this.format === "Error") { MENU.ShowSource.Text(MENU.jax.errorText,event); } else { if (MENU.jax.originalText == null) { alert(_("NoOriginalForm","No original form available")); return; } MENU.ShowSource.Text(MENU.jax.originalText,event); } }; MENU.ShowSource.Window = function (event) { if (!MENU.ShowSource.w) { var def = [], DEF = CONFIG.windowSettings; for (var id in DEF) {if (DEF.hasOwnProperty(id)) {def.push(id+"="+DEF[id])}} MENU.ShowSource.w = window.open("","_blank",def.join(",")); } return MENU.ShowSource.w; }; MENU.ShowSource.Text = function (text,event) { var w = MENU.ShowSource.Window(event); delete MENU.ShowSource.w; text = text.replace(/^\s*/,"").replace(/\s*$/,""); text = text.replace(/&/g,"&").replace(//g,">"); var title = _("EqSource","MathJax Equation Source"); if (MENU.isMobile) { w.document.open(); w.document.write("
"+text+""); w.document.write("
"+text+" |