suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix About box to show correct font for CommonHTML, and make it easier to add new output formats later.

Browse Source
This commit is contained in:
Davide P. Cervone 2015-09-11 09:50:53 -04:00
parent 27bae487e6
commit a09993d75a
1 changed files with 16 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
unpacked/extensions/MathMenu.js
View File

@ -992,13 +992,8 @@
*/ */
MENU.About = function () { MENU.About = function () {
var HTMLCSS = OUTPUT["HTML-CSS"] || {}; var HTMLCSS = OUTPUT["HTML-CSS"] || {};
var font = var font = MENU.About.GetFont();
(HTMLCSS.imgFonts ? "image" : var format = MENU.About.GetFormat();
(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"]]; var jax = ["MathJax.js v"+MathJax.fileversion,["br"]];
jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}]); 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.InputJax,["InputJax","%1 Input Jax v%2"]);
@ -1063,6 +1058,20 @@
for (var i = 0, m = info.length; i < m; i++) {jax.push(info[i],["br"])} for (var i = 0, m = info.length; i < m; i++) {jax.push(info[i],["br"])}
return jax; return jax;
}; };
MENU.About.GetFont = function () {
var jax = MathJax.Hub.outputJax["jax/mml"][0] || {};
var font = {
SVG: "web SVG",
CommonHTML: "web TeX",
"HTML-CSS": (jax.imgFonts ? "image" : (jax.webFonts ? "web" : "local")+" "+jax.fontInUse)
}[jax.id] || "generic";
return font + " fonts";
};
MENU.About.GetFormat = function () {
var jax = MathJax.Hub.outputJax["jax/mml"][0] || {};
if (jax.id !== "HTML-CSS"|| !jax.webFonts || jax.imgFonts) return;
return jax.allowWebFonts.replace(/otf/,"woff or otf") + " fonts";
};
/* /*