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)