gui-debugger: closing the debugger should break

2012-02-23 19:49:04 -05:00 · 2012-02-23 19:49:04 -05:00 · f092a96333
commit f092a96333
parent 8170da3d10
1 changed files with 2 additions and 1 deletions
--- a/collects/gui-debugger/debug-tool.rkt
+++ b/collects/gui-debugger/debug-tool.rkt
@ -1343,7 +1343,8 @@
          ;; add a close button to the debug panel
          (new close-icon%
               [parent debug-panel]
-               [callback (λ () (hide-debug))])
+               [callback (λ () (send (get-current-tab) break-callback)
+                               (hide-debug))])
          ;; hide the debug panel and stack view initially
          (send debug-parent-panel change-children (lambda (l) null))
          (send debug-grandparent-panel change-children (lambda (l) (remq stack-view-panel l)))