make the planet2 info in the bug report form have multiple lines

in the GUI (cherry picked from commit f315f08dc3)
2013-01-13 09:18:45 -06:00 · 2013-01-13 09:18:45 -06:00 · bcb7aae7c8
commit bcb7aae7c8
parent 7710498e70
1 changed files with 2 additions and 6 deletions
--- 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