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

Allow \Big and its brethren to have the delimiter in braces. Resolves issue #632.

Browse Source
This commit is contained in:
Davide P. Cervone 2014-02-13 12:58:51 -05:00
parent 126bd1c373
commit 5e3fe17461
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
unpacked/jax/input/TeX/jax.js
View File

@ -1535,7 +1535,7 @@
MakeBig: function (name,mclass,size) { MakeBig: function (name,mclass,size) {
size *= TEXDEF.p_height; size *= TEXDEF.p_height;
size = String(size).replace(/(\.\d\d\d).+/,'$1')+"em"; size = String(size).replace(/(\.\d\d\d).+/,'$1')+"em";
var delim = this.GetDelimiter(name); var delim = this.GetDelimiter(name,true);
this.Push(MML.TeXAtom(MML.mo(delim).With({ this.Push(MML.TeXAtom(MML.mo(delim).With({
minsize: size, maxsize: size, minsize: size, maxsize: size,
fence: true, stretchy: true, symmetric: true fence: true, stretchy: true, symmetric: true
@ -1890,11 +1890,12 @@
/* /*
* Get the name of a delimiter (check it in the delimiter list). * Get the name of a delimiter (check it in the delimiter list).
*/ */
GetDelimiter: function (name) { GetDelimiter: function (name,braceOK) {
while (this.nextIsSpace()) {this.i++} while (this.nextIsSpace()) {this.i++}
var c = this.string.charAt(this.i); var c = this.string.charAt(this.i); this.i++;
if (this.i < this.string.length) { if (this.i <= this.string.length) {
this.i++; if (c == "\\") {c += this.GetCS(name)} if (c == "\\") {c += this.GetCS(name)}
else if (c === "{" && braceOK) {this.i--; c = this.GetArgument(name)}
if (TEXDEF.delimiter[c] != null) {return this.convertDelimiter(c)} if (TEXDEF.delimiter[c] != null) {return this.convertDelimiter(c)}
} }
TEX.Error(["MissingOrUnrecognizedDelim", TEX.Error(["MissingOrUnrecognizedDelim",