From 12e3a16de0e6c6281df647ab0d67268f24c69045 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 23 Aug 2006 02:12:14 +0000 Subject: [PATCH] fixed a bug with the check syntax button svn: r4119 --- collects/drscheme/syncheck.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/drscheme/syncheck.ss b/collects/drscheme/syncheck.ss index cb0b4346f0..b8ece28577 100644 --- a/collects/drscheme/syncheck.ss +++ b/collects/drscheme/syncheck.ss @@ -1140,7 +1140,8 @@ If the namespace does not, they are colored the unbound color. (send (get-button-panel) change-children (λ (l) (cons check-syntax-button-parent-panel - (remove check-syntax-button-parent-panel l)))))) + (remove check-syntax-button-parent-panel l)))) + (update-button-visibility/tab (get-current-tab)))) (define report-error-style (make-object style-delta% 'change-style 'slant)) (send report-error-style set-delta-foreground "red")