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

Remove integral hack that was needed for Times, and don't add TeX space to mspace elements.

Browse Source
This commit is contained in:
Davide P. Cervone 2015-02-23 12:11:56 -05:00
parent adfa16e3ae
commit 8f0e833ba6
1 changed files with 4 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
unpacked/jax/output/CommonHTML/jax.js
View File

@ -627,11 +627,6 @@
if (!this.CHTML) this.CHTML = {}; if (!this.CHTML) this.CHTML = {};
this.CHTML = {w:0, h:0, d:0, l:0, r:0, t:0, b:0}; this.CHTML = {w:0, h:0, d:0, l:0, r:0, t:0, b:0};
if (this.inferred) return span; if (this.inferred) return span;
// ### FIXME: This is a hack to handle the different spacing of the
// ### integral sign in Times compared to CM fonts
if (this.type === "mo" && this.data.join("") === "\u222B") {CHTML.lastIsInt = true}
else if (this.type !== "mspace" || this.width !== "negativethinmathspace") {CHTML.lastIsInt = false}
// ###
if (!this.CHTMLspanID) {this.CHTMLspanID = CHTML.GetID()}; if (!this.CHTMLspanID) {this.CHTMLspanID = CHTML.GetID()};
var id = (this.id || "MJXc-Span-"+this.CHTMLspanID); var id = (this.id || "MJXc-Span-"+this.CHTMLspanID);
return HTML.addElement(span,"span",{className:"MJXc-"+this.type, id:id}); return HTML.addElement(span,"span",{className:"MJXc-"+this.type, id:id});
@ -875,18 +870,16 @@
MML.mspace.Augment({ MML.mspace.Augment({
toCommonHTML: function (span) { toCommonHTML: function (span) {
span = this.CHTMLdefaultSpan(span); span = this.CHTMLcreateSpan(span);
this.CHTMLhandleStyle(span);
this.CHTMLhandleColor(span);
var values = this.getValues("height","depth","width"); var values = this.getValues("height","depth","width");
var w = CHTML.length2em(values.width), var w = CHTML.length2em(values.width),
h = CHTML.length2em(values.height), h = CHTML.length2em(values.height),
d = CHTML.length2em(values.depth); d = CHTML.length2em(values.depth);
var bbox = this.CHTML; var bbox = this.CHTML;
bbox.w = w; bbox.h = h; bbox.d = d; bbox.w = w; bbox.h = h; bbox.d = d;
if (w < 0) { if (w < 0) {span.style.marginRight = CHTML.Em(w); w = 0}
// ### FIXME: lastIsInt hack
if (!CHTML.lastIsInt) span.style.marginLeft = CHTML.Em(w);
w = 0;
}
span.style.width = CHTML.Em(w); span.style.width = CHTML.Em(w);
span.style.height = CHTML.Em(h+d); span.style.height = CHTML.Em(h+d);
if (d) span.style.verticalAlign = CHTML.Em(-d); if (d) span.style.verticalAlign = CHTML.Em(-d);