fixed PR 8103
svn: r3313
This commit is contained in:
parent
beda11b5a2
commit
77e2fee4ef
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user