From 77e2fee4ef77ca952a5e72e767a5c477693cba15 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 10 Jun 2006 01:26:16 +0000 Subject: [PATCH] fixed PR 8103 svn: r3313 --- collects/drscheme/syncheck.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/drscheme/syncheck.ss b/collects/drscheme/syncheck.ss index b863a7a553..7b9579edb1 100644 --- a/collects/drscheme/syncheck.ss +++ b/collects/drscheme/syncheck.ss @@ -833,6 +833,7 @@ If the namespace does not, they are colored the unbound color. (define/augment (on-close) (send report-error-text on-close) + (send (get-defs) syncheck:clear-arrows) (inner (void) on-close)) ;; syncheck:add-to-cleanup-texts : (is-a?/c text%) -> void