moved buttons over to unhide grow box

svn: r3126
This commit is contained in:
Robby Findler 2006-05-30 17:49:42 +00:00
parent 45127853db
commit 3355804f5f

View File

@ -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")