From 3f9c2ca968b77071c54c7d7a4f6fe183be63deb9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 23 Jan 2011 18:03:03 -0600 Subject: [PATCH] be less conservative about refreshing the screen in check syntax when erasing the annotations --- collects/drracket/private/syncheck/gui.rkt | 39 +++++++++------------- 1 file changed, 15 insertions(+), 24 deletions(-) diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt index 79afcd6540..7aaa7c7a70 100644 --- a/collects/drracket/private/syncheck/gui.rkt +++ b/collects/drracket/private/syncheck/gui.rkt @@ -395,30 +395,21 @@ If the namespace does not, they are colored the unbound color. ;; syncheck:clear-arrows : -> void (define/public (syncheck:clear-arrows) (when (or arrow-records cursor-location cursor-text) - (let ([any-tacked? #f]) - (when tacked-hash-table - (let/ec k - (hash-for-each - tacked-hash-table - (λ (key val) - (set! any-tacked? #t) - (k (void)))))) - (set! tacked-hash-table #f) - (set! arrow-records #f) - (set! cursor-location #f) - (set! cursor-text #f) - (set! cursor-eles #f) - (when cleanup-texts - (for-each (λ (text) (send text thaw-colorer)) - cleanup-texts)) - (set! cleanup-texts #f) - (set! style-mapping #f) - (when any-tacked? - (invalidate-bitmap-cache)) - (update-docs-background #f) - (let ([f (get-top-level-window)]) - (when f - (send f close-status-line 'drracket:check-syntax:mouse-over)))))) + (set! tacked-hash-table #f) + (set! arrow-records #f) + (set! cursor-location #f) + (set! cursor-text #f) + (set! cursor-eles #f) + (when cleanup-texts + (for-each (λ (text) (send text thaw-colorer)) + cleanup-texts)) + (set! cleanup-texts #f) + (set! style-mapping #f) + (invalidate-bitmap-cache) + (update-docs-background #f) + (let ([f (get-top-level-window)]) + (when f + (send f close-status-line 'drracket:check-syntax:mouse-over))))) ;; syncheck:apply-style/remember : (is-a?/c text%) number number style% symbol -> void (define/public (syncheck:apply-style/remember txt start finish style mode)