win32: enable live resize of frames

2011-11-15 12:43:44 -07:00 · 2011-11-15 12:43:44 -07:00 · 7ad81e7560
commit 7ad81e7560
parent 219a39575a
1 changed files with 5 additions and 0 deletions
--- a/collects/mred/private/wx/win32/frame.rkt
+++ b/collects/mred/private/wx/win32/frame.rkt
@ -276,6 +276,11 @@
     [(and (= msg WM_SIZE)
           (not (= wParam SIZE_MINIMIZED)))
      (queue-window-event this (lambda () (queue-on-size)))
+      ;; for live resize:
+      (constrained-reply (get-eventspace)
+			 (lambda ()
+			   (let loop () (pre-event-sync #t) (when (yield) (loop))))
+			 (void))
      (stdret 0 1)]
     [(= msg WM_MOVE)
      (queue-window-event this (lambda () (queue-on-size)))