[previous] [up] [next]     [index]
Next: editor-admin Up: editor<> Previous: write-headers-to-file

write-to-file

Writes the current editor contents to the given stream. The return value is #t if there are no errors, #f otherwise. See also File Formats.



PLT