write-to-file

Writes the current editor contents to the given stream. See also File Formats.

• (send an-editor write-to-file stream) -> boolean
      stream : editor-stream-out% object