Make \overline{\lim_{x}} have correct spacing for overline with Firefox. Issue #490.

This commit is contained in:
Davide P. Cervone 2015-01-17 08:25:14 -05:00
parent b30c8f2f30
commit 9f14997b79

View File

@ -1430,8 +1430,10 @@
var pos = {o: "over", u: "under"}[name.charAt(1)]; var pos = {o: "over", u: "under"}[name.charAt(1)];
var base = this.ParseArg(name); var base = this.ParseArg(name);
if (base.Get("movablelimits")) {base.movablelimits = false} if (base.Get("movablelimits")) {base.movablelimits = false}
if (base.isa(MML.munderover) && base.isEmbellished()) if (base.isa(MML.munderover) && base.isEmbellished()) {
{base = MML.mrow(MML.mo().With({rspace:0}),base)} // add an empty <mi> so it's not embellished any more base.Core().With({lspace:0,rspace:0}); // get spacing right for NativeMML
base = MML.mrow(MML.mo().With({rspace:0}),base); // add an empty <mi> so it's not embellished any more
}
var mml = MML.munderover(base,null,null); var mml = MML.munderover(base,null,null);
mml.SetData( mml.SetData(
mml[pos], mml[pos],