From f701642e349df64819e1f2b19ffdeb6b291c12a0 Mon Sep 17 00:00:00 2001
From: David Rosca <nowrep@gmail.com>
Date: Sat, 31 Dec 2016 16:24:51 +0100
Subject: [PATCH] PageThumbnailer: Take into account devicePixelRatio

---
 src/lib/tools/pagethumbnailer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/tools/pagethumbnailer.cpp b/src/lib/tools/pagethumbnailer.cpp
index 5ff7ed21f..60f383ddb 100644
--- a/src/lib/tools/pagethumbnailer.cpp
+++ b/src/lib/tools/pagethumbnailer.cpp
@@ -28,7 +28,7 @@
 PageThumbnailer::PageThumbnailer(QObject* parent)
     : QObject(parent)
     , m_view(new QQuickWidget())
-    , m_size(QSize(450, 253))
+    , m_size(QSize(450, 253) * qApp->devicePixelRatio())
     , m_loadTitle(false)
 {
     m_view->setAttribute(Qt::WA_DontShowOnScreen);