.
original commit: 94987c0ef45a4d5e0d67866dbcd84a18e03463ae
This commit is contained in:
parent
5d319d780f
commit
1672edb7fb
|
@ -918,15 +918,12 @@ WARNING: printf is rebound in the body of the unit to always
|
||||||
(error 'delete/io "expected start (~a) <= end (~a) <= insertion-point (~a)"
|
(error 'delete/io "expected start (~a) <= end (~a) <= insertion-point (~a)"
|
||||||
start end insertion-point))
|
start end insertion-point))
|
||||||
(let ([before-allowed? allow-edits?])
|
(let ([before-allowed? allow-edits?])
|
||||||
(printf "deleting ~s to ~s\n" start end)
|
|
||||||
(set! allow-edits? #t)
|
(set! allow-edits? #t)
|
||||||
(delete start end #f)
|
(delete start end #f)
|
||||||
(set! allow-edits? before-allowed?)
|
(set! allow-edits? before-allowed?)
|
||||||
(printf "before ip ~s usp ~s\n" insertion-point unread-start-point)
|
|
||||||
(let ([dist (- end start)])
|
(let ([dist (- end start)])
|
||||||
(set! insertion-point (- insertion-point dist))
|
(set! insertion-point (- insertion-point dist))
|
||||||
(set! unread-start-point (- unread-start-point dist)))
|
(set! unread-start-point (- unread-start-point dist)))))
|
||||||
(printf "after ip ~s usp ~s\n" insertion-point unread-start-point)))
|
|
||||||
|
|
||||||
(define/public-final (get-in-port)
|
(define/public-final (get-in-port)
|
||||||
(unless in-port (error 'get-in-port "not ready"))
|
(unless in-port (error 'get-in-port "not ready"))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user