multiply widget size by devicePixelRatio

2018-12-23 22:10:04 +11:00
parent a53aac2366
commit e3a26116ae
1 changed files with 3 additions and 0 deletions
@@ -647,6 +647,9 @@ GLuint ViewerWidget::compose_sequence(QVector<Clip*>& nests, bool render_audio)
                            widget_height *= scale;
                        }

+                        widget_width *= QApplication::desktop()->devicePixelRatio();
+                        widget_height *= QApplication::desktop()->devicePixelRatio();
+
                        glViewport(0, 0, widget_width, widget_height);
 					}