From 7ad81e7560da525cd5016477554e1e9eee0f87ec Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Nov 2011 12:43:44 -0700 Subject: [PATCH] win32: enable live resize of frames --- collects/mred/private/wx/win32/frame.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/mred/private/wx/win32/frame.rkt b/collects/mred/private/wx/win32/frame.rkt index f0477cb293..e916f7d639 100644 --- 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)))