swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 74aa793fb3f7dd653b5bad8d1ffe800fb481aba0 authored by Dan Malec on 28 January 2023, 17:40:04 UTC
Merge pull request #152 from jrincayc/manual_updates
Merge pull request #152 from jrincayc/manual_updates
Tip revision: 74aa793
setwritepos
SETWRITEPOS charpos
command. Sets the file pointer of the write stream file so that the
next PRINT, etc., will begin writing at the "charpos"th character
in the file, counting from 0. (That is, SETWRITEPOS 0 will start
writing from the beginning of the file.) Meaningless if the write
stream is the screen.