From cd7799a4529617f8cc5206fa242e7833018cea30 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Fri, 31 Dec 2004 17:17:56 +0000 Subject: Ensure the page is rerendered when changing zoom 2004-12-31 Marco Pesenti Gritti * 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 5b7828f..66ce787 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2004-12-31 Marco Pesenti Gritti + * 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 + * backend/ev-document.c: (ev_document_base_init), (ev_document_changed): * backend/ev-document.h: diff --git a/ps/gtkgs.c b/ps/gtkgs.c index 74d6195..a710ab5 100644 --- 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 -- cgit v0.9.1