From aa27d4f1caf9c7b44586ca2bf751de981f67b823 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 3 Aug 2011 09:57:31 -0500 Subject: [PATCH] get rid of a broken attempt to optimize the 20,000-ft overview refreshing closes PR 12083 (cherry picked from commit 29a843ac379438a6b7540716c68537a09c62ac51) --- collects/framework/private/text.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/framework/private/text.rkt b/collects/framework/private/text.rkt index bb9609d414..b8c7c1d8ad 100644 --- 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)