From 7a3a005644a2dde13c3f78706b7258a1eaa3670a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 16 Aug 2010 12:00:00 -0600 Subject: [PATCH] fix frame stretchability --- collects/mred/private/mrtop.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/mrtop.rkt b/collects/mred/private/mrtop.rkt index a99ca6a1da..2c1499ecc5 100644 --- a/collects/mred/private/mrtop.rkt +++ b/collects/mred/private/mrtop.rkt @@ -136,7 +136,7 @@ [do-set-status-text (lambda (s) (send status-message set-label s))]) (sequence - (super-init (lambda () (set! wx (mk-wx finish)) wx) (lambda () wx-panel) mismatches label parent arrow-cursor)))) + (super-init (lambda () (set! wx (mk-wx finish)) wx) (lambda () mid-panel) mismatches label parent arrow-cursor)))) (define frame%