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 /ps | |
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
Diffstat (limited to 'ps')
-rw-r--r-- | ps/gtkgs.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |