[previous] [up] [next]     [index]
Next: redo Up: editor<> Previous: read-from-file

read-header-from-file

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.



PLT