From c6140296cdf34f1aec726ef9b6d1f0f4f48d3cf1 Mon Sep 17 00:00:00 2001
From: Guillaume Duranceau <g2lm@drnc.net>
Date: Wed, 24 Jul 2013 22:44:54 +1000
Subject: [PATCH] Update page number on mouse scroll

When scrolling a document by holding the middle mouse button, page
number was not updated.
---
 shortcuts.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/shortcuts.c b/shortcuts.c
index f5d551c..d251cdd 100644
--- a/shortcuts.c
+++ b/shortcuts.c
@@ -386,6 +386,7 @@ sc_mouse_scroll(girara_session_t* session, girara_argument_t* argument, girara_e
           gtk_adjustment_get_value(x_adj) - (event->x - x));
       zathura_adjustment_set_value(y_adj,
           gtk_adjustment_get_value(y_adj) - (event->y - y));
+      zathura->global.update_page_number = true;
       break;
 
       /* unhandled events */