From d139834179dbd71ae18c65d493060908d4669b61 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 24 Aug 2015 13:56:58 -0400 Subject: [PATCH] Make sure mspace and mfrac set their scaling factors. --- unpacked/jax/output/CommonHTML/jax.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index 09dd254d2..291d4eaa1 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1928,6 +1928,7 @@ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); this.CHTMLhandleStyle(node); + this.CHTMLhandleScale(node); var values = this.getValues("height","depth","width"); var w = CHTML.length2em(values.width), h = CHTML.length2em(values.height), @@ -2453,6 +2454,7 @@ toCommonHTML: function (node) { node = this.CHTMLcreateNode(node); this.CHTMLhandleStyle(node); + this.CHTMLhandleScale(node); // // Make row of open, data, sep, ... data, close //