From a964f3effbee8412b6b01db9f0c6ac705b10fea8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 7 Nov 2015 06:45:34 -0700 Subject: [PATCH] fix refresh on El Capitan When restoring autodisplay, need to check whether a display was lost since display was suspended. (cherry picked from commit 9bf18505d58e57041796982d89eb2dc5431720d4) --- gui-lib/mred/private/wx/cocoa/frame.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wx/cocoa/frame.rkt b/gui-lib/mred/private/wx/cocoa/frame.rkt index 41bb9f3f..31f7c5f1 100644 --- a/gui-lib/mred/private/wx/cocoa/frame.rkt +++ b/gui-lib/mred/private/wx/cocoa/frame.rkt @@ -429,7 +429,8 @@ (when (zero? flush-disabled) (tellv cocoa enableFlushWindow) (when (version-10.11-or-later?) - (tellv cocoa setAutodisplay: #:type _BOOL #t)))) + (tellv cocoa setAutodisplay: #:type _BOOL #t) + (tellv cocoa displayIfNeeded)))) (define/public (force-window-focus) (let ([next (get-app-front-window)])