From e62087cb70cb2f15b07c0fd5f59d0523ca13414c Mon Sep 17 00:00:00 2001 From: Pierre Jeanjean Date: Fri, 15 Nov 2019 17:18:16 +0100 Subject: [PATCH] Fix for HiDPI scaling of videos --- src/video_display.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/video_display.cpp b/src/video_display.cpp index 2df9ec3c0..494e62504 100644 --- a/src/video_display.cpp +++ b/src/video_display.cpp @@ -190,8 +190,12 @@ void VideoDisplay::Render() try { if (!viewport_height || !viewport_width) PositionVideo(); - videoOut->Render(viewport_left, viewport_bottom, viewport_width, viewport_height); - E(glViewport(0, std::min(viewport_bottom, 0), videoSize.GetWidth(), videoSize.GetHeight())); + // Note: Right now, GetContentScaleFactor() always returns 1 + // This should change with wxWidgets 3.2, and thus fix HiDPI scaling issues + videoOut->Render(viewport_left, viewport_bottom, viewport_width * GetContentScaleFactor(), + viewport_height * GetContentScaleFactor()); + E(glViewport(0, std::min(viewport_bottom, 0), videoSize.GetWidth() * GetContentScaleFactor(), + videoSize.GetHeight() * GetContentScaleFactor())); E(glMatrixMode(GL_PROJECTION)); E(glLoadIdentity());