Use Hub.Rerender() rather than Hubl.Reprocess() for scaling changes. Resolves issue #944.

This commit is contained in:
Davide P. Cervone 2014-12-04 16:04:42 -05:00
parent 142857afa2
commit ac5206fcd9

View File

@ -806,7 +806,7 @@
if (nMML) {nMML.config.scale = scale} if (nMML) {nMML.config.scale = scale}
if (SVG) {SVG.config.scale = scale} if (SVG) {SVG.config.scale = scale}
MENU.cookie.scale = scale; MENU.cookie.scale = scale;
MENU.saveCookie(); HUB.Reprocess(); MENU.saveCookie(); HUB.Rerender();
} }
} else {alert(_("NonZeroScale","The scale should not be zero"))} } else {alert(_("NonZeroScale","The scale should not be zero"))}
} else {alert(_("PercentScale", } else {alert(_("PercentScale",