jump-to in editor-stream-out%
jump-to
editor-stream-out%
Jumps to a given position in the stream.
(send an-editor-stream-out jump-to pos) -> void pos : exact non-negative integer
(send an-editor-stream-out jump-to pos)
send
an-editor-stream-out
pos