Make \dots produce mo with stretchy=false to correspond to the other mathchar0mo elements

This commit is contained in:
Davide P. Cervone 2012-01-31 11:50:18 -05:00
parent 876eb56c36
commit 8b49255547
12 changed files with 84 additions and 15 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -1069,7 +1069,7 @@
this.Push(this.mmlToken(MML.mi(MML.entity("#x"+mchar)).With(def)));
},
//
// Handle normal mathchar (as an m0)
// Handle normal mathchar (as an mo)
//
csMathchar0mo: function (name,mchar) {
var def = {stretchy: false};
@ -1506,8 +1506,8 @@
Dots: function (name) {
this.Push(STACKITEM.dots().With({
ldots: this.mmlToken(MML.mo(MML.entity("#x2026"))),
cdots: this.mmlToken(MML.mo(MML.entity("#x22EF")))
ldots: this.mmlToken(MML.mo(MML.entity("#x2026")).With({stretchy:false})),
cdots: this.mmlToken(MML.mo(MML.entity("#x22EF")).With({stretchy:false}))
}));
},