Fix spacing for operators with movablelimits that are converted to <mo>

This commit is contained in:
Davide P. Cervone 2016-01-28 16:38:59 -05:00
parent e8186ee317
commit 54ac450144

View File

@ -1264,6 +1264,7 @@
{if (mo.defaults.hasOwnProperty(id) && mi[id] != null) {mo[id] = mi[id]}}
for (id in MML.copyAttributes)
{if (MML.copyAttributes.hasOwnProperty(id) && mi[id] != null) {mo[id] = mi[id]}}
mo.lspace = mo.rspace = "0"; // prevent mo from having space in NativeMML
return mo;
},