From 78bdcbd07102584126c31444ee693c73cef3f225 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 3 Aug 2011 21:14:23 -0500 Subject: [PATCH] clear the online expansion error message as soon as the buffer is modified (instead of waiting for the next attempt to fail/succeed) --- collects/drracket/private/module-language.rkt | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 5d92478075..029c6653fe 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1103,6 +1103,9 @@ (preferences:add-callback 'drracket:online-compilation cb-proc #t) (define/private (buffer-modified) + (clear-old-error) + (set! clear-old-error void) + (reset-frame-expand-error) (let ([tlw (get-top-level-window)]) (when expanding-place (when (in-module-language tlw) @@ -1164,9 +1167,11 @@ (define error-message-str #f) (define error-message-srclocs '()) (define/private (reset-frame-expand-error) - (set! error-message-str #f) - (set! error-message-srclocs '()) - (update-frame-expand-error)) + (unless (and (eq? error-message-str #f) + (eq? error-message-srclocs '())) + (set! error-message-str #f) + (set! error-message-srclocs '()) + (update-frame-expand-error))) (define/public (update-frame-expand-error) (send (send (get-tab) get-frame) set-expand-error error-message-str