diff options
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | shell/ev-page-cache.c | 14 |
2 files changed, 13 insertions, 7 deletions
@@ -1,5 +1,11 @@ 2005-09-19 Marco Pesenti Gritti <mpg@redhat.com> + * shell/ev-page-cache.c: (ev_page_cache_get_size): + + Dont cast to int before scaling + +2005-09-19 Marco Pesenti Gritti <mpg@redhat.com> + * backend/ev-link.c: (ev_link_type_get_type), (ev_link_new_page_xyz), (ev_link_new_page_fit), (ev_link_new_page_fith): diff --git a/shell/ev-page-cache.c b/shell/ev-page-cache.c index 7409ded..a79ba05 100644 --- a/shell/ev-page-cache.c +++ b/shell/ev-page-cache.c @@ -357,7 +357,7 @@ ev_page_cache_get_size (EvPageCache *page_cache, gint *width, gint *height) { - int w, h; + double w, h; g_return_if_fail (EV_IS_PAGE_CACHE (page_cache)); g_return_if_fail (page >= 0 && page < page_cache->n_pages); @@ -374,15 +374,15 @@ ev_page_cache_get_size (EvPageCache *page_cache, h = info->height; } - w = (int) (w * scale + 0.5); - h = (int) (h * scale + 0.5); + w = w * scale + 0.5; + h = h * scale + 0.5; if (rotation == 0 || rotation == 180) { - if (width) *width = w; - if (height) *height = h; + if (width) *width = (int)w; + if (height) *height = (int)h; } else { - if (width) *width = h; - if (height) *height = w; + if (width) *width = (int)h; + if (height) *height = (int)w; } } |