From 9642fffbbbdda0d31bedae6126e7b3b9073ec407 Mon Sep 17 00:00:00 2001 From: Ray Date: Mon, 30 Oct 2023 13:13:31 +0100 Subject: [PATCH] REVIEWED: `GetRender*()` issue on macOS highDPI #3367 --- src/rcore.c | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/src/rcore.c b/src/rcore.c index 902f84c65..415fecfda 100644 --- a/src/rcore.c +++ b/src/rcore.c @@ -748,13 +748,27 @@ int GetScreenHeight(void) // Get current render width which is equal to screen width*dpi scale int GetRenderWidth(void) { - return CORE.Window.render.width; + int width = 0; +#if defined(__APPLE__) + Vector2 scale = GetWindowScaleDPI(); + width = (int)((float)CORE.Window.render.width*scale.x); +#else + width = CORE.Window.render.width; +#endif + return width; } // Get current screen height which is equal to screen height*dpi scale int GetRenderHeight(void) { - return CORE.Window.render.height; + int height = 0; +#if defined(__APPLE__) + Vector2 scale = GetWindowScaleDPI(); + height = (int)((float)CORE.Window.render.width*scale.y); +#else + height = CORE.Window.render.height; +#endif + return height; } // Enable waiting for events on EndDrawing(), no automatic event polling