From 11ca461bf0affcdd71752b828eb83b947d0f4fed Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 12 Feb 2013 14:45:48 -0600 Subject: [PATCH] covered a missing case in the oc-status state machine --- collects/drracket/private/module-language.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 8ae4c23cb9..ca762d826a 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1902,7 +1902,9 @@ (dirty-timer-pending? ts)) (line-of-interest) (send tab set-oc-status (dirty #f)) - (send oc-timer stop)]) + (send oc-timer stop)] + [else + (send tab set-oc-status (dirty #f))]) (oc-maybe-start-something)]))) (define/oc-log (oc-timer-expired)