##// END OF EJS Templates
Merge pull request #6955 from Carreau/typeset...
Min RK -
r18962:8743ea5f merge
parent child Browse files
Show More
@@ -418,9 +418,9 b' define(['
418 }
418 }
419 this._safe_append(toinsert);
419 this._safe_append(toinsert);
420 // If we just output latex, typeset it.
420 // If we just output latex, typeset it.
421 if ((json['text/latex'] !== undefined) ||
421 if ((json.data['text/latex'] !== undefined) ||
422 (json['text/html'] !== undefined) ||
422 (json.data['text/html'] !== undefined) ||
423 (json['text/markdown'] !== undefined)) {
423 (json.data['text/markdown'] !== undefined)) {
424 this.typeset();
424 this.typeset();
425 }
425 }
426 };
426 };
@@ -490,9 +490,9 b' define(['
490 if (this.append_mime_type(json, toinsert, handle_inserted)) {
490 if (this.append_mime_type(json, toinsert, handle_inserted)) {
491 this._safe_append(toinsert);
491 this._safe_append(toinsert);
492 // If we just output latex, typeset it.
492 // If we just output latex, typeset it.
493 if ((json['text/latex'] !== undefined) ||
493 if ((json.data['text/latex'] !== undefined) ||
494 (json['text/html'] !== undefined) ||
494 (json.data['text/html'] !== undefined) ||
495 (json['text/markdown'] !== undefined)) {
495 (json.data['text/markdown'] !== undefined)) {
496 this.typeset();
496 this.typeset();
497 }
497 }
498 }
498 }
General Comments 0
You need to be logged in to leave comments. Login now