.
original commit: 1d5fe689e3ade50052193439163382bbc4135aa0
This commit is contained in:
parent
e7ae508e52
commit
f0ace02b76
|
@ -4773,9 +4773,14 @@
|
||||||
(define user-custodian (make-custodian))
|
(define user-custodian (make-custodian))
|
||||||
|
|
||||||
(define user-output-port
|
(define user-output-port
|
||||||
(make-output-port
|
(let ([lock (make-semaphore 1)])
|
||||||
(lambda (s) (queue-output (lambda () (send repl-buffer output s))))
|
(make-custom-output-port
|
||||||
(lambda () 'nothing-to-close)))
|
#f ; always ready for a non-blocking write
|
||||||
|
(lambda (s start end flush?)
|
||||||
|
(queue-output (lambda () (send repl-buffer output (substring s start end))))
|
||||||
|
(- end start))
|
||||||
|
void ; no flush action
|
||||||
|
void))) ; no close action
|
||||||
|
|
||||||
(define user-eventspace
|
(define user-eventspace
|
||||||
(or user-esp
|
(or user-esp
|
||||||
|
@ -4827,7 +4832,7 @@
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(current-output-port user-output-port)
|
(current-output-port user-output-port)
|
||||||
(current-error-port user-output-port)
|
(current-error-port user-output-port)
|
||||||
(current-input-port (make-input-port (lambda () eof) void void)))
|
(current-input-port (make-custom-input-port #f (lambda (s) eof) #f void)))
|
||||||
#t)))
|
#t)))
|
||||||
|
|
||||||
(send repl-display-canvas set-editor repl-buffer)
|
(send repl-display-canvas set-editor repl-buffer)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user