replace some page_set with refresh_view

page_set changes page and aligns the page according to settings. In
those cases we do not want to change the position, only refresh.
This commit is contained in:
Abdo Roig-Maranges 2013-10-23 22:15:57 +02:00
parent 1171bffb6b
commit f94d43d2e6

View File

@ -1220,7 +1220,7 @@ sc_toggle_fullscreen(girara_session_t* session, girara_argument_t*
/* reset scale */
zathura_document_set_scale(zathura->document, zoom);
render_all(zathura);
page_set(zathura, zathura_document_get_current_page_number(zathura->document));
refresh_view(zathura);
/* setm ode */
girara_mode_set(session, zathura->modes.normal);
@ -1248,7 +1248,7 @@ sc_toggle_fullscreen(girara_session_t* session, girara_argument_t*
/* set full screen */
gtk_window_fullscreen(GTK_WINDOW(session->gtk.window));
page_set(zathura, zathura_document_get_current_page_number(zathura->document));
refresh_view(zathura);
/* setm ode */
girara_mode_set(session, zathura->modes.fullscreen);
@ -1325,7 +1325,7 @@ sc_zoom(girara_session_t* session, girara_argument_t* argument, girara_event_t*
}
render_all(zathura);
page_set(zathura, zathura_document_get_current_page_number(zathura->document));
refresh_view(zathura);
return false;
}