suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

win32: sync display on event

Browse Source 
original commit: b2444e210506a1c1b1e2e50d4640f6fa79180784
This commit is contained in:
Matthew Flatt 2010-12-10 18:51:53 -07:00
parent 77b082f08f
commit 313fe0d34c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/mred/private/wx/win32/window.rkt
View File

@ -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)))