read-header-from-file in editor<%>

Called to handle a named header that is found when reading editor data from a stream. The return value is #t if there are no errors, #f otherwise.

Override this method only to embellish the file format with new header information. Always call the inherited method if the derived reader does not recognize the header.

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

  See also File Formats.