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

read-from-file

Reads new contents for the editor from a stream. See also File Formats.



PLT