missed a point when the error highlights should be cleared out
This commit is contained in:
parent
3c89f61c36
commit
85d46008a0
|
@ -1297,6 +1297,10 @@
|
||||||
|
|
||||||
(define error-ranges '())
|
(define error-ranges '())
|
||||||
(define/private (clear-old-error)
|
(define/private (clear-old-error)
|
||||||
|
(for ([an-error-range (in-list error-ranges)])
|
||||||
|
(when (error-range-clear-highlight an-error-range)
|
||||||
|
((error-range-clear-highlight an-error-range))
|
||||||
|
(set-error-range-clear-highlight! an-error-range #f)))
|
||||||
(set! error-ranges '())
|
(set! error-ranges '())
|
||||||
(invalidate-bitmap-cache 0 0 'display-end 'display-end))
|
(invalidate-bitmap-cache 0 0 'display-end 'display-end))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user