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

If the editor's style list has already been written to the stream, it is not re-written. Instead, the editor content indicates that the editor shares a previously-written style list. This sharing will be recreated when the stream is later read.



PLT