*** empty log message ***
original commit: c0404161e75a6ffdacaa482180663f080daed333
This commit is contained in:
parent
51e3e2c40b
commit
054e5d96b7
|
@ -208,6 +208,8 @@
|
|||
(define/private (do-insert/delete edit-start-pos change-length)
|
||||
(unless (or stopped? force-stop?)
|
||||
(modify)
|
||||
(unless up-to-date?
|
||||
(sync-invalid))
|
||||
(cond
|
||||
(up-to-date?
|
||||
(let-values
|
||||
|
|
Loading…
Reference in New Issue
Block a user