From ab3bb9726e0bef242c6637cd4771eef75351a48a Mon Sep 17 00:00:00 2001
From: Chris Jones <jones.chris.g@gmail.com>
Date: Wed, 29 Jun 2011 18:52:27 -0700
Subject: [PATCH] redraw on zoom changes

---
 multi_page_viewer.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/multi_page_viewer.js b/multi_page_viewer.js
index b2c0dc3ed..4e9ca79d5 100644
--- 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' : '';