diff --git a/collects/handin-client/handin-multi.ss b/collects/handin-client/handin-multi.ss index 258f7e80b5..e37657e447 100644 --- a/collects/handin-client/handin-multi.ss +++ b/collects/handin-client/handin-multi.ss @@ -106,6 +106,7 @@ (send this get-x) (send this get-y))) (preferences:save) (send this show #f)) + (define/augment (on-close) (close)) ;; ---------------------------------------------------------------------- (new button% [parent buttons-pane]