From 173911d6062eb39e5d4d1b640a1ccdbed807fa35 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 24 Sep 2012 20:46:43 -0400 Subject: [PATCH] Make About box show 'woff or otf' when otf fonts are used (since both are requested). --- unpacked/extensions/MathMenu.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js index 515d8fd7b..d244fbb33 100644 --- a/unpacked/extensions/MathMenu.js +++ b/unpacked/extensions/MathMenu.js @@ -607,7 +607,8 @@ MENU.About.GetJax(jax,MathJax.Extension,"Extension",true); jax.push(["div",{style:{"border-top":"groove 2px",margin:".25em 0"}}],["center",{},[ HUB.Browser + " v"+HUB.Browser.version + - (HTMLCSS.webFonts && !HTMLCSS.imgFonts ? " \u2014 "+HTMLCSS.allowWebFonts+" fonts" : "") + (HTMLCSS.webFonts && !HTMLCSS.imgFonts ? " \u2014 " + + HTMLCSS.allowWebFonts.replace(/otf/,"woff or otf") + " fonts" : "") ]]); MENU.About.div = MENU.Background(MENU.About); var about = HTML.addElement(MENU.About.div,"div",{