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

closes PR 12083 original commit: 29a843ac379438a6b7540716c68537a09c62ac51
2011-08-03 09:57:31 -05:00 · 2011-08-03 09:57:31 -05:00 · b1c27e35c2
commit b1c27e35c2
parent 7bb7496c79
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)