Update page number on mouse scroll

When scrolling a document by holding the middle mouse button, page
number was not updated.
This commit is contained in:
Guillaume Duranceau 2013-07-24 22:44:54 +10:00 committed by Sebastian Ramacher
parent 12f7b393a6
commit c6140296cd

View file

@ -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)); gtk_adjustment_get_value(x_adj) - (event->x - x));
zathura_adjustment_set_value(y_adj, zathura_adjustment_set_value(y_adj,
gtk_adjustment_get_value(y_adj) - (event->y - y)); gtk_adjustment_get_value(y_adj) - (event->y - y));
zathura->global.update_page_number = true;
break; break;
/* unhandled events */ /* unhandled events */