write-footers-to-file in editor<%>

See write-headers-to-file.

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