jump-to

Next: ok? Up: editor-stream-in Previous: get-string

`jump-to`

Jumps to a given position in the stream.

(send an-editor-stream-in jump-to pos) -> void
pos : exact non-negative integer