diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2004-12-31 17:17:56 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2004-12-31 17:17:56 (GMT) |
commit | cd7799a4529617f8cc5206fa242e7833018cea30 (patch) | |
tree | 893705c4061d8a23ad488769c2f2155141073aad | |
parent | cd303522106f5ce836d426697f8ce3334d955d60 (diff) |
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
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | ps/gtkgs.c | 3 |
2 files changed, 9 insertions, 0 deletions
@@ -1,5 +1,11 @@ 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), (ev_document_changed): * backend/ev-document.h: @@ -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 |