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',