covered a missing case in the oc-status state machine

2013-02-12 14:45:48 -06:00 · 2013-02-12 14:45:48 -06:00 · 11ca461bf0
commit 11ca461bf0
parent 67c6d7804d
1 changed files with 3 additions and 1 deletions
--- 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)