From ac7b7661ca459e5e3b2a76b48037a9bb38421e3f Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Fri, 15 Nov 2013 18:47:46 +0100
Subject: [PATCH] Jump to page zero when starting to search. Jump back to the
 previous page when clearing the search.

---
 src/General/Index.coffee | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/General/Index.coffee b/src/General/Index.coffee
index 866067d0d..2545b9ad3 100644
--- a/src/General/Index.coffee
+++ b/src/General/Index.coffee
@@ -330,8 +330,13 @@ Index =
     Index.searchInput.focus()
   onSearchInput: ->
     if Index.isSearching = !!Index.searchInput.value.trim()
-      Index.searchInput.dataset.searching = 1
+      unless Index.searchInput.dataset.searching
+        Index.searchInput.dataset.searching = 1
+        Index.pageBeforeSearch = Index.getCurrentPage()
+        pageNum = 0
     else
+      pageNum = Index.pageBeforeSearch
+      delete Index.pageBeforeSearch
       <% if (type === 'userscript') { %>
       # XXX https://github.com/greasemonkey/greasemonkey/issues/1571
       Index.searchInput.removeAttribute 'data-searching'
@@ -339,7 +344,10 @@ Index =
       delete Index.searchInput.dataset.searching
       <% } %>
     Index.sort()
-    Index.buildIndex()
+    if Index.currentPage is pageNum
+      Index.buildIndex()
+    else
+      Index.pageNav pageNum
   querySearch: (query) ->
     return unless keywords = query.toLowerCase().match /\S+/g
     Index.search keywords