From c901f2f28908a4e4688e4ba7e939a3cd14a33d25 Mon Sep 17 00:00:00 2001
From: Snuffleupagus <Snuffleupagus@server.fake>
Date: Mon, 21 Jan 2013 18:30:59 +0100
Subject: [PATCH] Improve the behaviour of the pageNumber input field

---
 web/viewer.js | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/web/viewer.js b/web/viewer.js
index 944ef0f76..29ff1298a 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -2912,9 +2912,19 @@ document.addEventListener('DOMContentLoaded', function webViewerLoad(evt) {
       PDFView.download();
     });
 
+  document.getElementById('pageNumber').addEventListener('click',
+    function() {
+      this.select();
+    });
+
   document.getElementById('pageNumber').addEventListener('change',
     function() {
-      PDFView.page = this.value;
+      // Handle the user inputting a floating point number.
+      PDFView.page = (this.value | 0);
+
+      if (this.value !== (this.value | 0).toString()) {
+        this.value = PDFView.page;
+      }
     });
 
   document.getElementById('scaleSelect').addEventListener('change',