Amend f441590c

[lyx.git] / src / frontends / qt4 / GuiWorkArea_Private.h

diff --git a/src/frontends/qt4/GuiWorkArea_Private.h b/src/frontends/qt4/GuiWorkArea_Private.h
index 0915b64d4c2d87b0c2bb456bacb65269225275f6..5320c5c7133ce9faeeaeeb5478049306c2a1355a 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea_Private.h
+++ b/src/frontends/qt4/GuiWorkArea_Private.h
@@ -126,16 +126,19 @@ struct GuiWorkArea::Private
                delete screen_;
                pixel_ratio_ = p->pixelRatio();
                if (lyxrc.use_qimage) {
-                       QImage *x = new QImage(pixel_ratio_ * p->viewport()->width(),
-                               pixel_ratio_ * p->viewport()->height(), QImage::Format_ARGB32_Premultiplied);
-#if QT_VERSION > 0x050000
+                       QImage *x = 
+                               new QImage(static_cast<int>(pixel_ratio_ * p->viewport()->width()),
+                                                  static_cast<int>(pixel_ratio_ * p->viewport()->height()),
+                                                  QImage::Format_ARGB32_Premultiplied);
+#if QT_VERSION >= 0x050000
                        x->setDevicePixelRatio(pixel_ratio_);
 #endif
                        screen_ = x;
                } else {
-                       QPixmap *x = new QPixmap(pixel_ratio_ * p->viewport()->width(),
-                               pixel_ratio_ * p->viewport()->height());
-#if QT_VERSION > 0x050000
+                       QPixmap *x = 
+                               new QPixmap(static_cast<int>(pixel_ratio_ * p->viewport()->width()),
+                                                       static_cast<int>(pixel_ratio_ * p->viewport()->height()));
+#if QT_VERSION >= 0x050000
                        x->setDevicePixelRatio(pixel_ratio_);
 #endif
                        screen_ = x;