fixed planet docs; closes PR 12178

original commit: 6fd2e9c1d3e834d8f69ffc0bc18651c04a26763f
2011-10-04 12:55:58 -05:00 · 2011-10-04 12:55:58 -05:00 · 211d1398f8
commit 211d1398f8
parent e5011aa5f4
1 changed files with 1 additions and 1 deletions
--- 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