[evince] [pdf] Fix double to int conversion in thumbnails_get_dimensions

[Carlos Garcia Campos <carlosgc src gnome org>]

commit d8e314a2f10f0fb949f4da48042d12dbdb5383b4
Author: Carlos Garcia Campos <carlosgc gnome org>
Date:   Wed May 20 20:20:30 2009 +0200

    [pdf] Fix double to int conversion in thumbnails_get_dimensions
    
    Fixes bgo#581524.
---
 backend/pdf/ev-poppler.cc |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/backend/pdf/ev-poppler.cc b/backend/pdf/ev-poppler.cc
index 24d002e..f6bce09 100644
--- a/backend/pdf/ev-poppler.cc
+++ b/backend/pdf/ev-poppler.cc
@@ -1479,9 +1479,9 @@ pdf_document_thumbnails_get_dimensions (EvDocumentThumbnails *document_thumbnail
 	poppler_page_get_size (POPPLER_PAGE (rc->page->backend_page),
 			       &page_width, &page_height);
 	
-	*width = (gint) MAX (page_width * rc->scale, 1);
-	*height = (gint) MAX (page_height * rc->scale, 1);
-	
+	*width = MAX ((gint)(page_width * rc->scale + 0.5), 1);
+	*height = MAX ((gint)(page_height * rc->scale + 0.5), 1);
+
 	if (rc->rotation == 90 || rc->rotation == 270) {
 		gint  temp;