swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 91f307bf5a2820657281457f48cee2ee0073df6f authored by Barak A. Pearlmutter on 16 January 2021, 09:16:31 UTC
oops forgot a dependency
oops forgot a dependency
Tip revision: 91f307b
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.