diff --git a/collects/help/bug-report.rkt b/collects/help/bug-report.rkt index 575466d278..4c32ad1f56 100644 --- a/collects/help/bug-report.rkt +++ b/collects/help/bug-report.rkt @@ -59,6 +59,8 @@ (cond [close-box-clicked? (cond + [(eq? (send single active-child) finished-panel) + #t] [(empty-bug-report?) (no-more-saving) (unsave-bug-report bug-id)