[zathura] [PATCH] Update page number on mouse scroll

[Guillaume Duranceau]

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 6606d60..5c8c24f 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 */