![[index]](../icons/index.gif)
Next: read-header-from-file
Up: editor<>
Previous: read-footer-from-file
Reads new contents for the editor from a stream. The return value is
#t if there are no errors, #f otherwise. See also
File Formats.
The stream provides either new mappings for names in the editor's
style list, or it indicates that the editor should share a
previously-read style list (depending on how style lists were shared
when the editor was written to the stream; see also
write-to-file).
- In the former case, if the overwrite-styles? argument is
is #f, then each style name in the loaded file that is already
in the current style list keeps its current style. Otherwise,
existing named styles are overwritten with specifications from the
loaded file.
- In the latter case, the editor's style list will be changed to
the previously-read list.
- (send an-editor read-from-file stream overwrite-styles?) -> boolean
stream : editor-stream-in% object
overwrite-styles? = #t : boolean
PLT