From 211d1398f80f702bc2525af0f73ff7dfdf3da3dc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 4 Oct 2011 12:55:58 -0500 Subject: [PATCH] fixed planet docs; closes PR 12178 original commit: 6fd2e9c1d3e834d8f69ffc0bc18651c04a26763f --- collects/framework/private/panel.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/framework/private/panel.rkt b/collects/framework/private/panel.rkt index a75ecb91..0cdd5f25 100644 --- a/collects/framework/private/panel.rkt +++ b/collects/framework/private/panel.rkt @@ -347,7 +347,7 @@ (update-percentages) (dragable-container-size children-info bar-thickness (get-vertical?))) - (super-instantiate (parent)))) + (super-new [parent parent]))) ;; this function repeatedly checks to see if the current set of percentages and children ;; would violate any minimum size constraints. If not, the percentages are used and the