get rid of a broken attempt to optimize the 20,000-ft overview refreshing

closes PR 12083
2011-08-03 09:57:31 -05:00 · 2011-08-03 09:57:31 -05:00 · 29a843ac37
commit 29a843ac37
parent 113f889592
1 changed files with 0 additions and 1 deletions
--- a/collects/framework/private/text.rkt
+++ b/collects/framework/private/text.rkt
@ -1531,7 +1531,6 @@
      (refresh-delegate))
    
    (define/private (refresh-delegate)
-      (set! todo '())
      (to-delegate (λ () (refresh-delegate/do-work))))
    
    (define/private (refresh-delegate/do-work)