Fix issues reported by Davide. #357

This commit is contained in:
Frédéric Wang 2013-08-07 14:14:31 +02:00
parent 932ac5b242
commit 17508905a7

View File

@ -380,7 +380,8 @@ MathJax.ElementJax.mml.Augment({
return false; return false;
}, },
array: function () {if (this.inferred) {return this.data} else {return [this]}}, array: function () {if (this.inferred) {return this.data} else {return [this]}},
toString: function () {return this.type+"("+this.data.join(",")+")"} toString: function () {return this.type+"("+this.data.join(",")+")"},
getAnnotation: function () { return null; }
},{ },{
childrenSpacelike: function () { childrenSpacelike: function () {
for (var i = 0, m = this.data.length; i < m; i++) for (var i = 0, m = this.data.length; i < m; i++)
@ -1184,9 +1185,12 @@ MathJax.ElementJax.mml.Augment({
var encodingList = MathJax.Hub.config.MathMenu.semanticsAnnotations[name]; var encodingList = MathJax.Hub.config.MathMenu.semanticsAnnotations[name];
if (encodingList) { if (encodingList) {
for (var i = 0, m = this.data.length; i < m; i++) { for (var i = 0, m = this.data.length; i < m; i++) {
var encoding = this.data[i].attr.encoding; var encoding = this.data[i].Get("encoding");
if (encoding && encodingList.indexOf(encoding) !== -1) if (encoding) {
return this.data[i]; for (var j = 0, n = encodingList.length; j < n; j++) {
if (encodingList[j] === encoding) return this.data[i];
}
}
} }
} }
return null; return null;