From e3a26116ae3c2ab7abace962a1c90c5abea13d99 Mon Sep 17 00:00:00 2001 From: itsmattkc Date: Sun, 23 Dec 2018 22:10:04 +1100 Subject: [PATCH] multiply widget size by devicePixelRatio --- ui/viewerwidget.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ui/viewerwidget.cpp b/ui/viewerwidget.cpp index 0c80622cd..03218fc48 100644 --- a/ui/viewerwidget.cpp +++ b/ui/viewerwidget.cpp @@ -647,6 +647,9 @@ GLuint ViewerWidget::compose_sequence(QVector& nests, bool render_audio) widget_height *= scale; } + widget_width *= QApplication::desktop()->devicePixelRatio(); + widget_height *= QApplication::desktop()->devicePixelRatio(); + glViewport(0, 0, widget_width, widget_height); }