From 95b6f149fa37dd46f75193ad6104f4972ee98ebf Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Apr 2011 21:09:29 -0500 Subject: [PATCH] adjust the close callback so that it knows what state the bug report window is in closes PR 11773 merge to the release, please --- collects/help/bug-report.rkt | 2 ++ 1 file changed, 2 insertions(+) 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)