redraw on zoom changes

diff --git a/multi_page_viewer.js b/multi_page_viewer.js
index b2c0dc3edeed3c2c0e6d5a23a003292577f80046..4e9ca79d5e0e5839fb870571722d4663323367d1 100644 (file)
--- a/multi_page_viewer.js
+++ b/multi_page_viewer.js
@@ -249,7 +249,10 @@ var PDFViewer = {
       PDFViewer.pageNumber = num;
       PDFViewer.pageNumberInput.value = PDFViewer.pageNumber;
       PDFViewer.willJumpToPage = true;
-      
+
+      if (document.location.hash.substr(1) == PDFViewer.pageNumber)
+        // Force a "scroll event" to redraw
+        setTimeout(window.onscroll, 0);
       document.location.hash = PDFViewer.pageNumber;
       
       PDFViewer.previousPageButton.className = (PDFViewer.pageNumber === 1) ? 'disabled' : '';