Don't add stretchy=dalse if it is not needed

This commit is contained in:
Davide P. Cervone 2014-05-30 12:25:01 -04:00
parent a314139f59
commit d24b750cbf

View File

@ -1253,8 +1253,8 @@
* Handle other characters (as <mo> elements) * Handle other characters (as <mo> elements)
*/ */
Other: function (c) { Other: function (c) {
var def = {stretchy: false}, mo; var def, mo;
if (this.stack.env.font) {def.mathvariant = this.stack.env.font} if (this.stack.env.font) {def = {mathvariant: this.stack.env.font}}
if (TEXDEF.remap[c]) { if (TEXDEF.remap[c]) {
c = TEXDEF.remap[c]; c = TEXDEF.remap[c];
if (c instanceof Array) {def = c[1]; c = c[0]} if (c instanceof Array) {def = c[1]; c = c[0]}
@ -1262,6 +1262,7 @@
} else { } else {
mo = MML.mo(c).With(def); mo = MML.mo(c).With(def);
} }
if (mo.autoDefault("stretchy",true)) {mo.stretchy = false}
if (mo.autoDefault("texClass",true) == "") {mo = MML.TeXAtom(mo)} if (mo.autoDefault("texClass",true) == "") {mo = MML.TeXAtom(mo)}
this.Push(this.mmlToken(mo)); this.Push(this.mmlToken(mo));
}, },