#9130 Text in main work area isn't rendered with high resolution

[features.git] / src / frontends / qt4 / GuiView.cpp

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index 8c5080763f083cf843a549df18e43b88cc65481a..09a329938cb2d3d57e29dcad32217389edcb0a1d 100644 (file)
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -173,7 +173,7 @@ public:
        void paintEvent(QPaintEvent *)
        {
                QRectF r = splash_.rect();
-#if QT_VERSION > 0x050000
+#if QT_VERSION >= 0x050000
                r.setWidth(r.width() / splash_.devicePixelRatio());
                r.setHeight(r.height() / splash_.devicePixelRatio());
 #endif
@@ -477,7 +477,8 @@ GuiView::GuiView(int id)
        // add busy indicator to statusbar
        QLabel * busylabel = new QLabel(statusBar());
        statusBar()->addPermanentWidget(busylabel);
-       QString fn = toqstr(lyx::libFileSearch("images", "busy.gif").absFileName());
+       search_mode mode = theGuiApp()->imageSearchMode();
+       QString fn = toqstr(lyx::libFileSearch("images", "busy", "gif", mode).absFileName());
        QMovie * busyanim = new QMovie(fn, QByteArray(), busylabel);
        busylabel->setMovie(busyanim);
        busyanim->start();
@@ -1211,7 +1212,7 @@ void GuiView::setBusy(bool busy)
 
 double GuiView::pixelRatio() const
 {
-#if QT_VERSION > 0x050000
+#if QT_VERSION >= 0x050000
        return devicePixelRatio();
 #else
        return 1.0;