From fc0f2ee12b7c141e1f0d8844130be9ab64121a09 Mon Sep 17 00:00:00 2001
From: Lu Wang <coolwanglu@gmail.com>
Date: Tue, 18 Sep 2012 21:16:20 +0800
Subject: [PATCH] fixing jumping

---
 share/manifest              | 4 ++--
 src/HTMLRenderer/general.cc | 9 +++++----
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/share/manifest b/share/manifest
index e5bf5aa..8b3d0a2 100644
--- a/share/manifest
+++ b/share/manifest
@@ -24,7 +24,7 @@
 @base.css
 $css
 @jquery.js
-@hide_pages.js
+#@hide_pages.js
 
 """
 <title></title>
@@ -39,7 +39,7 @@ $pages
 </div>
 """
 
-@scroll.js
+#@scroll.js
 
 """
 </body>
diff --git a/src/HTMLRenderer/general.cc b/src/HTMLRenderer/general.cc
index 290fd6c..52363ab 100644
--- a/src/HTMLRenderer/general.cc
+++ b/src/HTMLRenderer/general.cc
@@ -162,8 +162,11 @@ void HTMLRenderer::startPage(int pageNum, GfxState *state)
 
     assert((!line_opened) && "Open line in startPage detected!");
 
-    html_fout << "<div class=\"b\" style=\"width:" << pageWidth << "px;height:" << pageHeight << "px;\">"
-        << "<div id=\"p" << pageNum << "\" class=\"p\" style=\"width:" << pageWidth << "px;height:" << pageHeight << "px;";
+    html_fout << "<div class=\"b\" style=\"width:" << pageWidth << "px;height:" << pageHeight << "px;\">";
+
+    html_fout << "<a name=\"p" << pageNum << "\"></a>";
+
+    html_fout << "<div id=\"p" << pageNum << "\" class=\"p\" style=\"width:" << pageWidth << "px;height:" << pageHeight << "px;";
 
     if(param->process_nontext)
     {
@@ -188,8 +191,6 @@ void HTMLRenderer::startPage(int pageNum, GfxState *state)
     }
 
     html_fout << "\">";
-
-    html_fout << "<a name=\"p" << pageNum << "\"></a>";
             
     draw_scale = 1.0;