read-footer-from-file

See read-header-from-file.

• (send an-editor read-footer-from-file stream name) -> boolean
      stream : editor-stream-in% object
      name : string