Fix #9993: Handle DPI changes on macOS and Windows

This commit is contained in:
Bouke Haarsma
2022-09-07 22:17:10 +02:00
committed by Michael Lutz
parent bda602f4b0
commit 45d98f689a
7 changed files with 86 additions and 2 deletions

View File

@@ -1269,8 +1269,12 @@ void CocoaDialog(const char *title, const char *message, const char *buttonLabel
/** Screen the window is on changed. */
- (void)windowDidChangeBackingProperties:(NSNotification *)notification
{
bool did_adjust = AdjustGUIZoom();
/* Reallocate screen buffer if necessary. */
driver->AllocateBackingStore();
if (did_adjust) ReInitAllWindows(true);
}
/** Presentation options to use for full screen mode. */