clear the online expansion error message as soon as the buffer is modified
(instead of waiting for the next attempt to fail/succeed)
This commit is contained in:
parent
337dbf8540
commit
78bdcbd071
|
@ -1103,6 +1103,9 @@
|
||||||
(preferences:add-callback 'drracket:online-compilation cb-proc #t)
|
(preferences:add-callback 'drracket:online-compilation cb-proc #t)
|
||||||
|
|
||||||
(define/private (buffer-modified)
|
(define/private (buffer-modified)
|
||||||
|
(clear-old-error)
|
||||||
|
(set! clear-old-error void)
|
||||||
|
(reset-frame-expand-error)
|
||||||
(let ([tlw (get-top-level-window)])
|
(let ([tlw (get-top-level-window)])
|
||||||
(when expanding-place
|
(when expanding-place
|
||||||
(when (in-module-language tlw)
|
(when (in-module-language tlw)
|
||||||
|
@ -1164,9 +1167,11 @@
|
||||||
(define error-message-str #f)
|
(define error-message-str #f)
|
||||||
(define error-message-srclocs '())
|
(define error-message-srclocs '())
|
||||||
(define/private (reset-frame-expand-error)
|
(define/private (reset-frame-expand-error)
|
||||||
|
(unless (and (eq? error-message-str #f)
|
||||||
|
(eq? error-message-srclocs '()))
|
||||||
(set! error-message-str #f)
|
(set! error-message-str #f)
|
||||||
(set! error-message-srclocs '())
|
(set! error-message-srclocs '())
|
||||||
(update-frame-expand-error))
|
(update-frame-expand-error)))
|
||||||
(define/public (update-frame-expand-error)
|
(define/public (update-frame-expand-error)
|
||||||
(send (send (get-tab) get-frame) set-expand-error
|
(send (send (get-tab) get-frame) set-expand-error
|
||||||
error-message-str
|
error-message-str
|
||||||
|
|
Loading…
Reference in New Issue
Block a user