From f94d43d2e656c826d939f1b4c726322f22bc6d4b Mon Sep 17 00:00:00 2001
From: Abdo Roig-Maranges <abdo.roig@gmail.com>
Date: Wed, 23 Oct 2013 22:15:57 +0200
Subject: [PATCH] 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.
---
 shortcuts.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/shortcuts.c b/shortcuts.c
index b05dded..288fad9 100644
--- a/shortcuts.c
+++ b/shortcuts.c
@@ -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;
 }