From 313fe0d34c57b5af6451435206bb400ce5c63f94 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 10 Dec 2010 18:51:53 -0700 Subject: [PATCH] win32: sync display on event original commit: b2444e210506a1c1b1e2e50d4640f6fa79180784 --- collects/mred/private/wx/win32/window.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wx/win32/window.rkt b/collects/mred/private/wx/win32/window.rkt index 2bf69050..71e6ac5d 100644 --- a/collects/mred/private/wx/win32/window.rkt +++ b/collects/mred/private/wx/win32/window.rkt @@ -650,11 +650,11 @@ (define/private (pre-event-refresh key?) ;; Since we break the connection between the - ;; Cocoa queue and event handling, we + ;; Win32 queue and event handling, we ;; re-sync the display in case a stream of ;; events (e.g., key repeat) have a corresponding ;; stream of screen updates. - (void)) + (flush-display)) (define/public (get-dialog-level) (send parent get-dialog-level)))