diff --git a/unpacked/jax/output/SVG/config.js b/unpacked/jax/output/SVG/config.js index 90c8942b4..7ca47323d 100644 --- a/unpacked/jax/output/SVG/config.js +++ b/unpacked/jax/output/SVG/config.js @@ -24,7 +24,7 @@ MathJax.OutputJax.SVG = MathJax.OutputJax({ id: "SVG", - version: "2.0.11", + version: "2.0.12", directory: MathJax.OutputJax.directory + "/SVG", extensionDir: MathJax.OutputJax.extensionDir + "/SVG", autoloadDir: MathJax.OutputJax.directory + "/SVG/autoload", diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js index 25bbe138c..f88a9fc2d 100644 --- a/unpacked/jax/output/SVG/jax.js +++ b/unpacked/jax/output/SVG/jax.js @@ -386,6 +386,8 @@ emex.parentNode.removeChild(emex); this.idPostfix = "-zoom"; jax.root.toSVG(span,span); this.idPostfix = ""; + if (this.operaZoomRefresh) + {setTimeout(function () {span.firstChild.style.border="1px solid transparent"},1)} // // Get height and width of zoomed math and original math // @@ -1960,6 +1962,14 @@ }); }); + HUB.Browser.Select({ + Opera: function (browser) { + SVG.Augment({ + operaZoomRefresh: true // Opera needs a kick to redraw zoomed equations + }); + } + }); + HUB.Register.StartupHook("End Cookie", function () { if (HUB.config.menuSettings.zoom !== "None") {AJAX.Require("[MathJax]/extensions/MathZoom.js")}