From 3355804f5f476c534198b581501e2a15019abfd6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 30 May 2006 17:49:42 +0000 Subject: [PATCH] moved buttons over to unhide grow box svn: r3126 --- collects/help/bug-report.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/help/bug-report.ss b/collects/help/bug-report.ss index 9836c23e48..220b5cce08 100644 --- a/collects/help/bug-report.ss +++ b/collects/help/bug-report.ss @@ -320,10 +320,11 @@ (define synthesized-button (make-object button% (string-constant bug-report-show-synthesized-info) button-panel (lambda x (show-synthesized-info)))) - (define _spacer - (new grow-box-spacer-pane% [parent button-panel] [stretchable-width #t])) + (define _spacer (new horizontal-pane% (parent button-panel))) (define cancel-button (make-object button% (string-constant cancel) button-panel (lambda x (cancel)))) (define ok-button (make-object button% (string-constant bug-report-submit) button-panel (lambda x (ok)))) + (define _grow-box + (new grow-box-spacer-pane% [parent button-panel])) (define (get-query) (list (cons 'help-desk "true")