Ensure the page is rerendered when changing zoom

2004-12-31  Marco Pesenti Gritti  <marco@gnome.org>

        * ps/gtkgs.c: (gtk_gs_set_zoom), (gtk_gs_set_zoom_mode):

        Ensure the page is rerendered when changing zoom

diff --git a/ChangeLog b/ChangeLog
index 5b7828fabc6d0d0be91385a322a9768d4b891985..66ce7879c9087084365b77a79bad2dc5ec045a92 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2004-12-31  Marco Pesenti Gritti  <marco@gnome.org>
+
+       * ps/gtkgs.c: (gtk_gs_set_zoom), (gtk_gs_set_zoom_mode):
+
+       Ensure the page is rerendered when changing zoom
+
 2004-12-31  Marco Pesenti Gritti  <marco@gnome.org>
 
        * backend/ev-document.c: (ev_document_base_init),

diff --git a/ps/gtkgs.c b/ps/gtkgs.c
index 74d619579f4829cbdc082571088c68e9cd4028da..a710ab52bf0163fb2130c1f8ad237697a38410df 100644 (file)
--- a/ps/gtkgs.c
+++ b/ps/gtkgs.c
@@ -1745,6 +1745,8 @@ gtk_gs_set_zoom(GtkGS * gs, gfloat zoom)
     set_up_page(gs);
     gs->changed = TRUE;
   }
+
+  gtk_gs_goto_page(gs, gs->current_page);
 }
 
 gfloat
@@ -2036,6 +2038,7 @@ gtk_gs_set_zoom_mode(GtkGS * gs, GtkGSZoomMode zoom_mode)
     gs->zoom_mode = zoom_mode;
     gtk_gs_set_zoom(gs, 1.0);
   }
+  gtk_gs_goto_page(gs, gs->current_page);
 }
 
 GtkGSZoomMode