From 6eb9db6cb65c0c56983fb5798ceefd129c92520d Mon Sep 17 00:00:00 2001
From: Moritz Lipp <mlq@pwmt.org>
Date: Sat, 25 Feb 2012 23:48:52 +0100
Subject: [PATCH] Use update_page_number instead of setting it directly

---
 shortcuts.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/shortcuts.c b/shortcuts.c
index a926cf2..0a1d16f 100644
--- a/shortcuts.c
+++ b/shortcuts.c
@@ -510,9 +510,7 @@ sc_search(girara_session_t* session, girara_argument_t* argument,
       /* the next result is on the same page */
       target_page = page;
       target_idx = current + 1;
-      // g_object_set(page->drawing_area, "search-current", current + 1, NULL);
     } else if (diff == -1 && current > 0) {
-      // g_object_set(page->drawing_area, "search-current", current - 1, NULL);
       target_page = page;
       target_idx = current - 1;
     } else {
@@ -522,7 +520,7 @@ sc_search(girara_session_t* session, girara_argument_t* argument,
       for (int npage_id = 1; page_id < num_pages; ++npage_id) {
         int ntmp = cur_page + diff * (page_id + npage_id);
         zathura_page_t* npage = zathura->document->pages[(ntmp + 2*num_pages) % num_pages];
-        zathura->document->current_page_number = npage->number;
+        zathura->global.update_page_number = true;
         g_object_get(npage->drawing_area, "search-length", &num_search_results, NULL);
         if (num_search_results != 0) {
           target_page = npage;