From ac5206fcd93d1d6aae82a59872c29c307c76fee0 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Thu, 4 Dec 2014 16:04:42 -0500
Subject: [PATCH] Use Hub.Rerender() rather than Hubl.Reprocess() for scaling
 changes.  Resolves issue #944.

---
 unpacked/extensions/MathMenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/extensions/MathMenu.js b/unpacked/extensions/MathMenu.js
index 49be6333a..03f462fc2 100644
--- a/unpacked/extensions/MathMenu.js
+++ b/unpacked/extensions/MathMenu.js
@@ -806,7 +806,7 @@
             if (nMML)    {nMML.config.scale = scale}
             if (SVG)     {SVG.config.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(_("PercentScale",