From bcb7aae7c8c3a6c31d0643a28da563228a5e6d2a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 13 Jan 2013 09:18:45 -0600 Subject: [PATCH] make the planet2 info in the bug report form have multiple lines in the GUI (cherry picked from commit f315f08dc3af4879b5456a1274b143e637cac47d) --- collects/help/private/bug-report-controls.rkt | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/collects/help/private/bug-report-controls.rkt b/collects/help/private/bug-report-controls.rkt index 147e83be94..b984067540 100644 --- a/collects/help/private/bug-report-controls.rkt +++ b/collects/help/private/bug-report-controls.rkt @@ -249,13 +249,9 @@ #:top-panel synthesized-panel)) (define planet2-info - (build/label + (make-big-text (string-constant bug-report-field-planet2) - (lambda (panel) - (keymap:call/text-keymap-initializer - (lambda () - (make-object text-field% #f panel void "")))) - #f + #:stretch? #t #:top-panel synthesized-panel)) (define collections