From b24c8eb4ddf601aa2b8a9b1616bd7d475fe36e5a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 Sep 2011 10:34:45 -0600 Subject: [PATCH] cocoa: fix control-refresh bug --- collects/mred/private/wx/cocoa/window.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wx/cocoa/window.rkt b/collects/mred/private/wx/cocoa/window.rkt index e144e05897..56ea7fbd48 100644 --- a/collects/mred/private/wx/cocoa/window.rkt +++ b/collects/mred/private/wx/cocoa/window.rkt @@ -623,9 +623,12 @@ (define/public (set-size x y w h) (let ([x (if (= x -11111) (get-x) x)] [y (if (= y -11111) (get-y) y)]) + ;; old location will need refresh: (tellv cocoa setNeedsDisplay: #:type _BOOL #t) (tellv cocoa setFrame: #:type _NSRect (make-NSRect (make-NSPoint x (flip y h)) - (make-NSSize w h)))) + (make-NSSize w h))) + ;; new location needs refresh: + (tellv cocoa setNeedsDisplay: #:type _BOOL #t)) (queue-on-size)) (define/public (internal-move x y)