swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: f506282e07b9a3be7c0f65f74b7bd1ce869ea1ed authored by Barak A. Pearlmutter on 15 January 2021, 18:08:38 UTC
typo
typo
Tip revision: f506282
editfile
EDITFILE filename
command. Starts the Logo editor, like EDIT, but instead of editing
a temporary file it edits the file specified by the input. When you
leave the editor, Logo reads the revised file, as for EDIT.
EDITFILE also remembers the filename, so that a subsequent EDIT
command with no input will re-edit the same file.
EDITFILE is intended as an alternative to LOAD and SAVE. You can
maintain a workspace file yourself, controlling the order in which
definitions appear, maintaining comments in the file, and so on.