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

[features.git] / src / frontends / qt4 / GuiApplication.h

diff --git a/src/frontends/qt4/GuiApplication.h b/src/frontends/qt4/GuiApplication.h
index 410ccc4426384ff33654b3254b72952af684d459..58a46d67f8d0d5b3795e1a356496a390a70d333b 100644 (file)
--- a/src/frontends/qt4/GuiApplication.h
+++ b/src/frontends/qt4/GuiApplication.h
@@ -14,6 +14,7 @@
 #define GUIAPPLICATION_H
 
 #include "frontends/Application.h"
+#include "support/filetools.h"
 
 #include <QApplication>
 #include <QList>
@@ -142,7 +143,16 @@ public:
 
        /// Current ratio between physical pixels and device-independent pixels
        double pixelRatio() const;
-       
+
+       /// How to load image files
+       support::search_mode imageSearchMode() const {
+#if QT_VERSION >= 0x050000
+               return support::check_hidpi;
+#else
+               return support::must_exist;
+#endif
+       }
+
        void processKeySym(KeySymbol const & key, KeyModifier state);
        /// return the status bar state string
        docstring viewStatusMessage();