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

Try to find the document body in case document.body isn't set yet (this does seem to happen sometimes).

Browse Source
This commit is contained in:
Davide P. Cervone 2012-11-27 14:40:22 -05:00
parent 081204f317
commit f8d4215519
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
MathJax.js
View File

File diff suppressed because one or more lines are too long

4
unpacked/MathJax.js
View File

@ -29,7 +29,7 @@ if (document.getElementById && document.childNodes && document.createElement) {
if (!window.MathJax) {window.MathJax= {}} if (!window.MathJax) {window.MathJax= {}}
if (!MathJax.Hub) { // skip if already loaded if (!MathJax.Hub) { // skip if already loaded
MathJax.version = "2.1"; MathJax.version = "2.1.1";
MathJax.fileversion = "2.1"; MathJax.fileversion = "2.1";
/**********************************************************/ /**********************************************************/
@ -1700,6 +1700,7 @@ MathJax.Hub = {
element = [].concat(element); // make a copy so the original isn't changed element = [].concat(element); // make a copy so the original isn't changed
for (var i = 0, m = element.length; i < m; i++) for (var i = 0, m = element.length; i < m; i++)
{if (typeof(element[i]) === 'string') {element[i] = document.getElementById(element[i])}} {if (typeof(element[i]) === 'string') {element[i] = document.getElementById(element[i])}}
if (!document.body) {document.body = document.getElementsByTagName("body")[0]}
if (element.length == 0) {element.push(document.body)} if (element.length == 0) {element.push(document.body)}
if (!callback) {callback = {}} if (!callback) {callback = {}}
return {elements: element, callback: callback}; return {elements: element, callback: callback};
@ -1707,6 +1708,7 @@ MathJax.Hub = {
elementScripts: function (element) { elementScripts: function (element) {
if (typeof(element) === 'string') {element = document.getElementById(element)} if (typeof(element) === 'string') {element = document.getElementById(element)}
if (!document.body) {document.body = document.getElementsByTagName("body")[0]}
if (element == null) {element = document.body} if (element == null) {element = document.body}
if (element.tagName != null && element.tagName.toLowerCase() === "script") {return [element]} if (element.tagName != null && element.tagName.toLowerCase() === "script") {return [element]}
return element.getElementsByTagName("script"); return element.getElementsByTagName("script");