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
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.