get rid of a broken attempt to optimize the 20,000-ft overview refreshing
closes PR 12083
(cherry picked from commit 29a843ac37
)
This commit is contained in:
parent
71cf6d1c15
commit
aa27d4f1ca
|
@ -1531,7 +1531,6 @@
|
||||||
(refresh-delegate))
|
(refresh-delegate))
|
||||||
|
|
||||||
(define/private (refresh-delegate)
|
(define/private (refresh-delegate)
|
||||||
(set! todo '())
|
|
||||||
(to-delegate (λ () (refresh-delegate/do-work))))
|
(to-delegate (λ () (refresh-delegate/do-work))))
|
||||||
|
|
||||||
(define/private (refresh-delegate/do-work)
|
(define/private (refresh-delegate/do-work)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user