From ed5cad05345cd363f81c847fc6a6f62f13c65a19 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 28 Nov 2014 12:53:25 -0600 Subject: [PATCH] remove bad init argument closes PR 14856 --- pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt index 8d80aff375..3a14a5a76b 100644 --- a/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt +++ b/pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui.rkt @@ -92,7 +92,6 @@ (define by-source-panel (new by-source-panel% [parent dlg] - [stretchable-height #f] [in-terminal in-terminal-panel] [text-field-initial-value package-to-offer]))