From d94709c2f09630f729d6b477f2efa2e40a60e739 Mon Sep 17 00:00:00 2001
From: Artur Adib <arturadib@gmail.com>
Date: Thu, 12 Apr 2012 17:30:13 -0700
Subject: [PATCH] page number works (not editable yet)

---
 web/viewer.html | 2 +-
 web/viewer.js   | 7 +++----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/web/viewer.html b/web/viewer.html
index 1d3680e30..16284c229 100644
--- a/web/viewer.html
+++ b/web/viewer.html
@@ -56,7 +56,7 @@
               <div class="splitToolbarButtonSeparator"></div>
               <div class="toolbarButton pageDown" title="Next Page" onclick="PDFView.page++"></div>
             </div>
-            <div id="pageNumber" class="toolbarField" contentEditable="true">1</div>
+            <div id="pageNumber" class="toolbarField" contentEditable="true"></div>
             <div id="numPages" class="toolbarLabel"></div>
             <div class="toolbarButtonFlexibleSpacer"></div>
             <div class="splitToolbarButton">
diff --git a/web/viewer.js b/web/viewer.js
index 5a4b573a5..0c2a471ff 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -276,7 +276,7 @@ var PDFView = {
 
   set page(val) {
     var pages = this.pages;
-    var input = document.getElementById('pageNumber');
+    var input = parseInt(document.getElementById('pageNumber'));
     if (!(0 < val && val <= pages.length)) {
       var event = document.createEvent('UIEvents');
       event.initUIEvent('pagechange', false, false, window, 0);
@@ -499,7 +499,6 @@ var PDFView = {
     var id = pdf.fingerprint;
     var storedHash = null;
     document.getElementById('numPages').textContent = '/ '+pagesCount;
-    document.getElementById('pageNumber').max = pagesCount;
     PDFView.documentFingerprint = id;
     var store = PDFView.store = new Settings(id);
     if (store.get('exists', false)) {
@@ -1452,8 +1451,8 @@ window.addEventListener('scalechange', function scalechange(evt) {
 
 window.addEventListener('pagechange', function pagechange(evt) {
   var page = evt.pageNumber;
-  if (document.getElementById('pageNumber').value != page)
-    document.getElementById('pageNumber').value = page;
+  if (parseInt(document.getElementById('pageNumber').textContent) != page)
+    document.getElementById('pageNumber').textContent = page;
   document.getElementById('previous').disabled = (page <= 1);
   document.getElementById('next').disabled = (page >= PDFView.pages.length);
 }, true);