commit 54a742382cb3cbccd7ce0bc4c447074c9bbbbf53
Author: Stephan Witt <[email protected]>
Date: Sat Oct 18 15:48:18 2014 +0200
#9130 Text in main work area isn't rendered with high resolution
Make QT_VERSION check for Qt5 matching Qt5.0.0 too.
diff --git a/src/frontends/qt4/GuiPainter.cpp b/src/frontends/qt4/GuiPainter.cpp
index 986ac46..0071581 100644
--- a/src/frontends/qt4/GuiPainter.cpp
+++ b/src/frontends/qt4/GuiPainter.cpp
@@ -371,7 +371,7 @@ int GuiPainter::text(int x, int y, docstring const & s,
int const h = mA + mD;
if (w > 0 && h > 0) {
pm = QPixmap(pixelRatio() * w , pixelRatio() * h);
-#if QT_VERSION > 0x050000
+#if QT_VERSION >= 0x050000
pm.setDevicePixelRatio(pixelRatio());
#endif
pm.fill(Qt::transparent);
diff --git a/src/frontends/qt4/GuiWorkArea_Private.h
b/src/frontends/qt4/GuiWorkArea_Private.h
index 0915b64..cdf054b 100644
--- a/src/frontends/qt4/GuiWorkArea_Private.h
+++ b/src/frontends/qt4/GuiWorkArea_Private.h
@@ -128,14 +128,14 @@ struct GuiWorkArea::Private
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
+#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
+#if QT_VERSION >= 0x050000
x->setDevicePixelRatio(pixel_ratio_);
#endif
screen_ = x;