From 31667a8bc2a5cf7b4a005cf4ba44dc8b42d9c564 Mon Sep 17 00:00:00 2001
From: RogerDTZ <1440106948@qq.com>
Date: Sat, 22 Sep 2018 09:16:58 +0800
Subject: [PATCH] Add pagejumper in index.html

---
 index.html | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/index.html b/index.html
index 71de2c7ce9d..f494fe5ff62 100644
--- a/index.html
+++ b/index.html
@@ -64,6 +64,42 @@ <h2>
             <span class="next disable"><i class="fa fa-angle-double-right"></i></span>
           {% endif %}
         </div>
+        <div class="pagejump" style="text-align: center;">	
+		<input id="pagejumptext" placeholder="jump to..." style="text-align: center;width: 8%;background-color: white;" onkeydown="if(event.keyCode==13) {onPressEnter()}"> 
+		<script>
+		function isNum(val){
+    			if(val === "" || val ==null){
+        			return false;
+    			}
+    			if(!isNaN(val)){
+        			return true;
+    			}
+    			else{
+        			return false;
+    			}
+		}     	
+		</script>
+		<script>
+		function onPressEnter(){
+			var pageid = document.getElementById("pagejumptext").value
+			if(isNum(pageid)==false){
+				alert("Invalid Page Number!")
+				return
+			}
+			number = parseInt(pageid)
+			minn = 1
+			maxn = {{paginator.total_pages}}
+			if(number < minn)
+				number = minn
+			if(number > maxn)
+				number = maxn
+			if(number == 1)
+				location.href='/'
+			else 
+				location.href='/page'+number.toString()
+		}
+		</script>
+	</div>
     </div>
     <!-- <button class="anchor"><i class="fa fa-anchor"></i></button> -->
     <div class="right">