*** empty log message ***
original commit: 57ced202ee856bd07bd3a65a9b7fa23ec22e1c32
This commit is contained in:
parent
f93097d36e
commit
1c9c1d15c2
|
@ -186,7 +186,7 @@
|
|||
(set! invalid-tokens-start (+ start-pos orig-token-end change-length))
|
||||
(set! current-pos (+ start-pos orig-token-start))
|
||||
(set! up-to-date? #f)
|
||||
(colorer-callback)))
|
||||
(queue-callback colorer-callback #f)))
|
||||
((>= edit-start-pos invalid-tokens-start)
|
||||
(send invalid-tokens search! (- edit-start-pos invalid-tokens-start))
|
||||
(let-values (((tok-start tok-end valid-tree invalid-tree)
|
||||
|
|
Loading…
Reference in New Issue
Block a user