www

commit 7c47e032405dd2290d4e4988734480cc68c03aa2
parent beeb356308c5ccc16b76538b58648426e0789277
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun,  1 Jun 2014 10:26:26 -0400

Merge branch 'stretchy' into v2.4-beta

Diffstat:
M
unpacked/jax/input/TeX/jax.js
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js
@@ -1253,8 +1253,8 @@
      *  Handle other characters (as <mo> elements)
      */
     Other: function (c) {
-      var def = {stretchy: false}, mo;
-      if (this.stack.env.font) {def.mathvariant = this.stack.env.font}
+      var def, mo;
+      if (this.stack.env.font) {def = {mathvariant: this.stack.env.font}}
       if (TEXDEF.remap[c]) {
         c = TEXDEF.remap[c];
         if (c instanceof Array) {def = c[1]; c = c[0]}
@@ -1262,6 +1262,7 @@
       } else {
         mo = MML.mo(c).With(def);
       }
+      if (mo.autoDefault("stretchy",true)) {mo.stretchy = false}
       if (mo.autoDefault("texClass",true) == "") {mo = MML.TeXAtom(mo)}
       this.Push(this.mmlToken(mo));
     },